~ymherklotz/choc

An implementation of the Calculus of Construction.

5123571 Simplify parser type

10 months ago

77c7434 Add explicit shell.nix file

10 months ago

#Choc

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