diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-05-16 11:35:31 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-05-16 11:35:31 +0100 |
commit | 51d25ab7feeaca959d35fbd4fa905f8ce003e07b (patch) | |
tree | 7005c02d88e7bcfcdf8403b8b83ee05de322b762 /src/extraction | |
parent | becbab413e16e40069329d8e7f21dc92e2e4c4e4 (diff) | |
download | vericert-kvx-51d25ab7feeaca959d35fbd4fa905f8ce003e07b.tar.gz vericert-kvx-51d25ab7feeaca959d35fbd4fa905f8ce003e07b.zip |
Minimise the proof a bit
Diffstat (limited to 'src/extraction')
0 files changed, 0 insertions, 0 deletions