Sign in
Rare find
redtt.
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
github.com/RedPRL/redtt
by
@RedPRL
Problem
Audience
Keep exploring
Updates
Founder
0
Product
0
No founder updates yet. Check back soon.
🧪
staging
