RedPRL / redttLinks

"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
☆209Updated 3 years ago

Alternatives and similar repositories for redtt

Users that are interested in redtt are comparing it to the libraries listed below

Sorting: