This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
created at March 1, 2014, 6:37 p.m.
56 +0
915 +1
169 +1