diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-04-02 19:05:46 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-04-02 19:05:46 +0100 |
commit | c693792a7decb695f2fff48d85e64c97eadb223f (patch) | |
tree | d23226796557ba70589b93f046369878c579130f | |
parent | 8659e1b672a9b28a78c5b026312e7f3c0cb87c36 (diff) | |
download | vericert-kvx-c693792a7decb695f2fff48d85e64c97eadb223f.tar.gz vericert-kvx-c693792a7decb695f2fff48d85e64c97eadb223f.zip |
Update readme
-rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,3 +1,3 @@ -# CoqUp +# Coqup A formally verified HLS tool in Coq. |