The calculus of constructions
Repository from Github https://github.comazdavis/cocRepository from Github https://github.comazdavis/coc
The calculus of constructions.
Mostly from figure 5 of this MSR paper.
License:MIT License