vladimirias/Foundations

Voevodsky's original development of the univalent foundations of mathematics in Coq

1 best points · 0 comments · 1 Hacker News post · 59 GitHub stars · View on GitHub

Hacker News discussions

• Univalent foundations of mathematics in Coq (1 points, 0 comments, by mike_esspe, 2012-07-02)