Hacker News new | ask | show | jobs
The Program is the Proof: propositions in type theory (goodmath.org)
2 points by MarkCC 4154 days ago