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-c693792a7decb695f2fff48d85e64c97eadb223f.tar.gz vericert-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. |