"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
Why do you think that https://github.com/RedPRL/sml-redprl is a good alternative to redtt
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
Why do you think that https://github.com/RedPRL/sml-redprl is a good alternative to redtt