Stars
2
stars
written in OCaml
Clear filter
The Ott tool for writing definitions of programming languages and calculi
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
{{ message }}
The Ott tool for writing definitions of programming languages and calculi
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory