← Explore by area
Cluster 73
1 repos
JavaScript · 1
calculus-of-constructions
Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.
JavaScript
5 commits