diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-08-10 18:00:58 +0200 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-08-10 18:00:58 +0200 |
| commit | 6162d603f9638a678cc4cc227f41169d4fdc5869 (patch) | |
| tree | 4cebcaff1a203e36fe83ed479f077af2a82d9d45 /Makefile | |
| parent | 4b433258deffec9207451fb30e4103462c704781 (diff) | |
| download | vericert-kvx-6162d603f9638a678cc4cc227f41169d4fdc5869.tar.gz vericert-kvx-6162d603f9638a678cc4cc227f41169d4fdc5869.zip | |
Add badge for admitted proofs
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions