Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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

Awesome Lists containing this project