VictorTaelin / calculus-of-constructions

Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.
107Updated 7 years ago

Related projects

Alternatives and complementary repositories for calculus-of-constructions