diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-03-29 16:41:56 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-03-29 16:41:56 +0100 |
| commit | e85befdc955ddcfef2a84b976db4564051368fff (patch) | |
| tree | af5f7c555fade846b40e3cba8e63b91542b40a52 /README.md | |
| parent | 65f30c5524280b5639a94674828986f0635b2477 (diff) | |
| download | vericert-e85befdc955ddcfef2a84b976db4564051368fff.tar.gz vericert-e85befdc955ddcfef2a84b976db4564051368fff.zip | |
Update .gitignore
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,2 +1,3 @@ # CoqUp + A formally verified HLS tool in Coq. |