diff options
author | Yann Herklotz <git@yannherklotz.com> | 2023-05-17 16:34:42 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2023-05-17 16:34:42 +0100 |
commit | 80288462f41babf77b3303c9ed758827695c3ada (patch) | |
tree | acf5f97a8fe879a6165730136ee7561d8c333f89 /_CoqProject | |
parent | cae9d2a8a2897415b21e3673a99330a4c0a85a58 (diff) | |
download | cohpred-80288462f41babf77b3303c9ed758827695c3ada.tar.gz cohpred-80288462f41babf77b3303c9ed758827695c3ada.zip |
Add initial development files
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/_CoqProject b/_CoqProject index 50397a7..63b228c 100644 --- a/_CoqProject +++ b/_CoqProject @@ -1 +1 @@ --R src TVSMT +-R src TVSMT
\ No newline at end of file |