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