1 result found Sort:

174
960
other
57
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Created 2014-03-01
10,260 commits to master branch, last one a day ago