Homepage: https://github.com/mortberg/cubicaltt
Updated: 2023-Sep-21
Mode for cubical type theory
This package provides a major mode for editing proofs or programs in cubical, an implementation of cubical type theory.