diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2019-11-04 16:30:46 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2019-11-04 16:30:46 +0000 |
| commit | 6efa12e29c4b04a8ad41405d3023edc38a51f020 (patch) | |
| tree | fad631148ced81a0ac47c26b9665a6591f6efc7e | |
| parent | 04c3cd732ba75f22580b8cae4f8e6a64151d1a1a (diff) | |
| download | vericert-6efa12e29c4b04a8ad41405d3023edc38a51f020.tar.gz vericert-6efa12e29c4b04a8ad41405d3023edc38a51f020.zip | |
Add initial Coq file
| -rw-r--r-- | CoqUp/CoqUp.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/CoqUp/CoqUp.v b/CoqUp/CoqUp.v new file mode 100644 index 0000000..c7528fc --- /dev/null +++ b/CoqUp/CoqUp.v @@ -0,0 +1 @@ +Require Import Bool List String. |