Foundations software on GitHub

Software OPEN SOURCE

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