cubicaltt software on GitHub

Software OPEN SOURCE
  • Subject:
    acm: ComputingMethodologies_COMPUTERGRAPHICS | MathematicsofComputing_GENERAL | MathematicsofComputing_NUMERICALANALYSIS

Experimental implementation of Cubical Type Theory
Share - Bookmark