redtt software on GitHub

Software OPEN SOURCE
  • 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