README.md - choc - An implementation of the Calculus of Construction.

about summary refs log tree commit diff stats

path: root/README.md

blob: b766b09641e9f4cf664d033a8c6a9173dd8b9770 (plain)

1
2
3

# Choc

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