~ymherklotz/choc

An implementation of the Calculus of Construction.

5123571 Simplify parser type

3 months ago

77c7434 Add explicit shell.nix file

3 months ago

#Choc

Choc is an implementation of the Calculus of Construction, which is also the calculus used in Coq.