diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2023-05-21 15:46:15 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2023-05-21 15:46:15 +0100 |
| commit | 78026c97881e4500fd3e46283f2e59e5e57973fb (patch) | |
| tree | f4c5775723dbd3f48d3580805594fa638655b071 /.envrc | |
| parent | fc4bc25ca5d986831a02cddd87264b7b51943fc4 (diff) | |
| download | vericert-78026c97881e4500fd3e46283f2e59e5e57973fb.tar.gz vericert-78026c97881e4500fd3e46283f2e59e5e57973fb.zip | |
Add proofs about RBexit
Diffstat (limited to '.envrc')
0 files changed, 0 insertions, 0 deletions