Here, we revisit Ramanujan’s original definition from his deathbed letter (1, p 221). After a discussion of the asymptotics of certain modular forms, which are given as Eulerian series, he writes: ...
The discussion on Tom’s recent post about ETCS, and the subsequent followup blog post of Francois, have convinced me that it’s time to write a new introductory blog post about type theory. So if ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results