diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2020-07-06 14:09:54 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2020-07-06 14:09:54 +0100 |
| commit | 78e549331ba3f136ebe94955f68767bd384df454 (patch) | |
| tree | e82c58fc59b6b4b1e9472cf26ce35ce0e6efdf14 /coqup.opam | |
| parent | c76ac9be323e3513aa0db2721ecd0f6c3987aef0 (diff) | |
| download | vericert-78e549331ba3f136ebe94955f68767bd384df454.tar.gz vericert-78e549331ba3f136ebe94955f68767bd384df454.zip | |
HTLgenproof compiles again
- Commented out Iload, Istore proofs for now
Diffstat (limited to 'coqup.opam')
0 files changed, 0 insertions, 0 deletions