redtt software on GitHub
- Subject:arxiv: Physics::History of Physics | Astrophysics::Cosmology and Extragalactic Astrophysics | Astrophysics::Earth and Planetary Astrophysics | Physics::Space Physics | Astrophysics::Solar and Stellar Astrophysics
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
Share - Bookmark
- Download from