Open Issues Need Help
View All on GitHub Tensor product of cyclic groups about 1 year ago
algebra good first issue
HoTT/Coq-HoTT HoTT/Coq-HoTT A Coq library for Homotopy Type Theory
Open project →
1.3K
A Coq library for Homotopy Type Theory
Rocq Prover
#homotopy-type-theory#type-theory#univalent-foundations