VictorTaelin / calculus-of-constructionsLinks

Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.
112Updated 8 years ago

Alternatives and similar repositories for calculus-of-constructions

Users that are interested in calculus-of-constructions are comparing it to the libraries listed below

Sorting: