diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2023-10-20 08:06:17 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2023-10-20 08:06:17 +0100 |
| commit | 2388d026b3bdba82139a04136aab47468e04ee2c (patch) | |
| tree | 0c3b8dbf25e3b75fb7e3b56260c528ada423ae7d /vericert.opam | |
| parent | 07724c40313da871c35c00880272ea8f5084b67c (diff) | |
| download | vericert-2388d026b3bdba82139a04136aab47468e04ee2c.tar.gz vericert-2388d026b3bdba82139a04136aab47468e04ee2c.zip | |
Nearly finish the subpargenproof
Diffstat (limited to 'vericert.opam')
0 files changed, 0 insertions, 0 deletions