|
|
| | The Cantor-Schröder-Bernstein Theorem for ∞-Groupoids (homotopytypetheory.org) | |
3 points by harporoeder on Oct 27, 2022 | past
|
|
| | The HoTT Game (homotopytypetheory.org) | |
96 points by VitalyAnkh on Dec 9, 2021 | past | 12 comments
|
|
| | Homotopy Type Theory Game (homotopytypetheory.org) | |
4 points by prathyvsh on Dec 1, 2021 | past
|
|
| | Homotopy Type Theory: Univalent Foundations of Mathematics (2013) (homotopytypetheory.org) | |
3 points by lainon on Nov 9, 2018 | past
|
|
| | Homotopy Type Theory: Univalent Foundations of Mathematics (homotopytypetheory.org) | |
2 points by geospeck on Jan 5, 2017 | past
|
|
| | HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics (homotopytypetheory.org) | |
1 point by vimes656 on Sept 26, 2016 | past
|
|
| | The Lean Theorem Prover (homotopytypetheory.org) | |
2 points by nickmain on Dec 2, 2015 | past
|
|
| | The torus is the product of two circles, cubically (homotopytypetheory.org) | |
36 points by mrbbk on Jan 21, 2015 | past | 7 comments
|
|
| | Homotopical Patch Theory (homotopytypetheory.org) | |
1 point by mathgenius on Sept 12, 2014 | past
|
|
| | Homotopy Type Theory: Univalent Foundations of Mathematics [Book] (homotopytypetheory.org) | |
2 points by mazsa on Dec 8, 2013 | past | 1 comment
|
|
| | The HoTT book: Group of two dozen mathematicians wrote a 600 page book [free] (homotopytypetheory.org) | |
2 points by X4 on Sept 19, 2013 | past
|
|
| | Homotopy Type Theory (homotopytypetheory.org) | |
2 points by Rexxar on June 24, 2013 | past
|
|
| | Homotopy Type Theory (homotopytypetheory.org) | |
1 point by colinprince on June 24, 2013 | past
|
|
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
