lambdacalculator/abella-chtt
Abella formalization of a non-deterministic version of our computational higher-dimensional type theory
AMPL
No issues in this repository yet.
Abella formalization of a non-deterministic version of our computational higher-dimensional type theory
AMPL
No issues in this repository yet.