diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-03-09 16:46:46 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-09 16:46:46 +0100 |
| commit | b7ca11db1003947fd1b09f32fccafbb476c983fa (patch) | |
| tree | 391bc11189922d53895645fd03466a8d95980507 | |
| parent | 532aefeac1c9e454c85a8314a515ebfb701c0738 (diff) | |
| download | choc-b7ca11db1003947fd1b09f32fccafbb476c983fa.tar.gz choc-b7ca11db1003947fd1b09f32fccafbb476c983fa.zip | |
Add to README
| -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. |