Hacker News
- The HoTT Game https://homotopytypetheory.org/2021/12/01/the-hott-game/ 12 comments
- The torus is the product of two circles, cubically http://homotopytypetheory.org/2015/01/20/ts1s1-cubically/ 7 comments
- A Formalized Interpreter | Homotopy Type Theory (2014) https://homotopytypetheory.org/2014/08/19/a-formalized-interpreter/ 10 comments compsci
- Discussion on Writing Style for Proofs https://homotopytypetheory.org/ 12 comments math
- A Math Game http://homotopytypetheory.org/ 13 comments math
- The Truncation Map |_| : ℕ -> ‖ℕ‖ is nearly Invertible http://homotopytypetheory.org/2013/10/28/the-truncation-map-_-%E2%84%95-%E2%80%96%E2%84%95%E2%80%96-is-nearly-invertible/ 20 comments haskell
- The HoTT Book | Homotopy Type Theory http://homotopytypetheory.org/book/ 22 comments programming
- Any recommendations for a good Algebraic Topology textbook for someone from an algebra background? http://homotopytypetheory.org/ 13 comments math
- The Homotopy Type Theory Book is now available! http://homotopytypetheory.org/book/ 34 comments math
- The Homotopy Type Theory Book is now available for free online and in print at Lulu.com http://homotopytypetheory.org/book/ 17 comments haskell
Linking pages
- Towards better Ethereum voting protocols | by Aron Fischer | Colony | Medium https://medium.com/@colonyaron/towards-better-ethereum-voting-protocols-7e54cb5a0119#.4pzp57h9f 7 comments
- GitHub - mortberg/cubicaltt: Experimental implementation of Cubical Type Theory https://github.com/mortberg/cubicaltt 0 comments
- Qed Considered Harmful | Gregory Malecha https://gmalecha.github.io/reflections/2017/qed-considered-harmful 0 comments
- About - Arend Theorem Prover https://arend-lang.github.io/about/ 0 comments
- GitHub - nacyot/awesome-opensource-documents: A curated list of awesome open source or open source licensed documents, guides, books. https://github.com/nacyot/awesome-opensource-documents 0 comments
- GitHub - williamdemeo/TypeFunc: Resources for type theory, functional programming, etc. https://github.com/williamdemeo/TypeFunc 0 comments