repositories Search Results · repo:RedPRL/redtt language:OCaml
Filter by
0 files
(78 ms)0 files
inRedPRL/redtt (press backspace or delete to remove)"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
- OCaml
- 208
- Updated on Mar 25, 2022

Sponsor open source projects you depend on
Contributors are working behind the scenes to make open source better for everyone—give them the help and recognition they deserve.Explore sponsorable projectsProTip!
Press the /
key to activate the search input again and adjust your query.
Sponsor open source projects you depend on
Contributors are working behind the scenes to make open source better for everyone—give them the help and recognition they deserve.Explore sponsorable projectsProTip!
Press the /
key to activate the search input again and adjust your query.