diff options
| author | Dan Rostovtsev <dan@rostovtsev.org> | 2026-03-29 15:32:40 -0400 |
|---|---|---|
| committer | Dan Rostovtsev <dan@rostovtsev.org> | 2026-03-29 15:32:40 -0400 |
| commit | fb9d9ed9995c6e411f1223d5b53f7b8b6880573e (patch) | |
| tree | 3ae3d28a9f1b575495fee2b65baa619e8929027f /_CoqProject | |
Simple build and README.
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject new file mode 100644 index 0000000..9327ff4 --- /dev/null +++ b/_CoqProject @@ -0,0 +1,5 @@ +-R theories Lambda +theories/Equivalence.v +theories/Evaluation.v +theories/L.v +theories/UniformConfluence.v |