diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-03-12 18:08:07 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-03-12 18:08:07 +0000 |
commit | a037beca47152901155bf5c10f05dab22f856125 (patch) | |
tree | 81f00a95729bf644709dab8a82f4222dd4ad1ab5 /scripts/download_artifact.sh | |
parent | 1df82be06ecda0e75b48159f525020dd08e7b00b (diff) | |
download | vericert-a037beca47152901155bf5c10f05dab22f856125.tar.gz vericert-a037beca47152901155bf5c10f05dab22f856125.zip |
Prove top-level theorem with admitted theorems
Diffstat (limited to 'scripts/download_artifact.sh')
0 files changed, 0 insertions, 0 deletions