diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-03-03 18:32:44 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-03 18:32:44 +0000 |
commit | 63d06d167193107fab60db9552dd8ea7c985af7c (patch) | |
tree | 788dfba92ecce2c18051170556c67f7abddc46bf /_CoqProject | |
parent | f7401188640f8f6726b933e0421400419b62c9b2 (diff) | |
download | biteq-63d06d167193107fab60db9552dd8ea7c985af7c.tar.gz biteq-63d06d167193107fab60db9552dd8ea7c985af7c.zip |
Add initial development files
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject new file mode 100644 index 0000000..0f7247f --- /dev/null +++ b/_CoqProject @@ -0,0 +1 @@ +-Q src biteq |