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 /.gitignore | |
parent | 04c3cd732ba75f22580b8cae4f8e6a64151d1a1a (diff) | |
download | vericert-kvx-6efa12e29c4b04a8ad41405d3023edc38a51f020.tar.gz vericert-kvx-6efa12e29c4b04a8ad41405d3023edc38a51f020.zip |
Add initial Coq file
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions