RedPRL / redtt

"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

RedPRL/redtt Stargazers