A Coq library for Homotopy Type Theory

homotopy-type-theory type-theory univalent-foundations
1 Open Issue Need Help Last updated: Sep 6, 2025

Open Issues Need Help

View All on GitHub
algebra good first issue

A Coq library for Homotopy Type Theory

Rocq Prover
#homotopy-type-theory#type-theory#univalent-foundations