https://github.com/vladimirias/Foundations

Voevodsky's original development of the univalent foundations of mathematics in Coq
https://github.com/vladimirias/Foundations

Last synced: 5 days ago
JSON representation

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

• Host: GitHub
• URL: https://github.com/vladimirias/Foundations
• Owner: vladimirias
• Fork: true (UniMath/Foundations)
• Created: 2017-11-08T23:04:22.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2014-09-10T10:13:43.000Z (about 10 years ago)
• Last Synced: 2024-08-01T12:21:07.287Z (3 months ago)
• Language: Coq
• Homepage: http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations.html
• Size: 3.93 MB
• Stars: 52
• Watchers: 3
• Forks: 3
• Open Issues: 0

Awesome Lists containing this project

• awesome-starred - vladimirias/Foundations - Voevodsky's original development of the univalent foundations of mathematics in Coq (others)