For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | history | fromregister
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

Search:

HN For You