# Choc

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