1 result found Sort:
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Created
2014-03-01
10,318 commits to master branch, last one 7 days ago