- libcoq-stdlib-49fx0
This library is a formalization of homotopy type
theory for Coq, where propositional equality is
interpreted as homotopy and type isomorphism as
homotopy equivalence.
.
Coq is a proof assistant for higher-order logic.
Installed Size: 167.8 MB
Architectures: amd64 arm64