diff options
| author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-09-30 10:19:45 +0100 |
|---|---|---|
| committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-09-30 10:19:45 +0100 |
| commit | e5b396eecf26afdd479e79890c087d841e897099 (patch) | |
| tree | 80b0400ecc222b9b9b5e230b86da5adc609b7ebc /.envrc | |
| parent | d1a6bdc08bc067cf74451a5ffa2aefd4e9e6b79f (diff) | |
| download | vericert-e5b396eecf26afdd479e79890c087d841e897099.tar.gz vericert-e5b396eecf26afdd479e79890c087d841e897099.zip | |
Complete call/return proofs
Diffstat (limited to '.envrc')
0 files changed, 0 insertions, 0 deletions