- Discussion on Writing Style for Proofs https://homotopytypetheory.org/ 12 comments math
- A Math Game http://homotopytypetheory.org/ 13 comments math
- Any recommendations for a good Algebraic Topology textbook for someone from an algebra background? http://homotopytypetheory.org/ 13 comments math
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
Related searches:
Search whole site: site:homotopytypetheory.org
Search title: Homotopy Type Theory
See how to search.