Package
Mode for cubical type theory
Documentation
This package provides a major mode for editing proofs or programs in cubical, an implementation of cubical type theory.
Requires
Consumers
No reverse dependencies recorded.