"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
Primary LanguageOCamlApache License 2.0Apache-2.0