Andrej Bauer personal blog
Two dozen mathematicians wrote a 600 page book in 6 months on GitHub
Since spring, and even before that, I have participated in a great collaborative effort on writing a book on Homotopy Type Theory. It is finally finished and ready for public consumption. You can get the book freely at http://homotopytypetheory.org/book/ . Mike Shulman has written about the contents of the book , so I…
- Points
- 309
- HN comments
- 98
- Submissions
- 1
- Cited by
- 3 commenters
Math & AlgorithmsSoftware Engineering2013
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jun 20, 2013 | Two dozen mathematicians wrote a 600 page book in 6 months on GitHub by jacoblyles | 309 | 98 |
Cited in comments
Linked from 3 Hacker News comments by 3 different people, from Oct 2013 to Jan 2014.
Most recent:
- dmunoz · Jan 12, 2014
- guynamedloren · Oct 16, 2013
- agumonkey · Oct 12, 2013
