HoTT/book
View on GitHub ↗ ★ 2,176 TeX
A textbook on informal homotopy type theory
7 mentions on Hacker News by 6 people: 0 stories, 7 comments · first 2013-06-20 · latest 2022-12-25
20082026
-
…to be more accessible than the HoTT textbook that's been maintained on Github for some years? https://github.com/HoTT/book
comment by throwaway81523 · 2022-12-25 · in Introduction to Homotopy Type Theory -
…- a well-known textbook on some niche (homotopy type theory) in mathematics: https://github.com/HoTT/book - fonts: https://github.com/theleagueof - Gregorian chants: https://github.com/CMAA/nova-organi-harmonia Main collaboration funct
comment by jschulenklopper · 2016-01-11 · in Open Guide to Equity Compensation -
The homotopy type theory book was managed over github : https://github.com/HoTT/book/commit/cb5b01618ac3cf2774430b50...
comment by agumonkey · 2015-04-18 · in Why and How I Wrote My Academic Book in Plain Text -
…the entire source code of the HoTT book is available on github and it is under active development: https://github.com/HoTT/book
comment by ivan_ah · 2013-12-15 · in Voevodsky’s Mathematical Revolution -
…community-driven projects [1], which could be considered to be always in an unfinished state. [1] https://github.com/HoTT/book
comment by guynamedloren · 2013-10-27 · in Show HN: A Github for writers? -
…with multiple contributors, and really illustrates the shortcomings with other technology [2]. [1] https://github.com/HoTT/book [2] http://math.andrej.com/2013/06/20/the-hott-book/
comment by guynamedloren · 2013-10-16 · in Introducing government.github.com -
Some direct links: https://github.com/HoTT/book http://hottheory.files.wordpress.com/2013/03/hott-online.pdf http://hottheory.files.wordpress.com/2013/03/hott-ebook.pdf First commit in Nov '12. Most work seems to be have been done since…
comment by susi22 · 2013-06-20 · in Two dozen mathematicians wrote a 600 page book in 6 months on GitHub