diff options
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -1 +1,3 @@ -# choc +# Choc + +Choc is an implementation of the Calculus of Construction, which is also the calculus used in Coq. |
index : choc | ||
An implementation of the Calculus of Construction. |
aboutsummaryrefslogtreecommitdiffstats |