Foundations

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

53 stars

3 watching

3 forks

Language: Coq

last commit: about 10 years ago

$Screenshot of vladimirias/Foundations website$