Abella formalization of a non-deterministic version of our computational higher-dimensional type theory
Primary LanguageAMPL