"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory - View it on GitHub
Star
199
Rank
144488