diff options
| author | James Pollard <james@pollard.dev> | 2020-06-30 17:38:37 +0100 |
|---|---|---|
| committer | James Pollard <james@pollard.dev> | 2020-06-30 17:38:37 +0100 |
| commit | ffc978ec677f2f37ab8d8d1bf865cddadf087b81 (patch) | |
| tree | 5cba9129e030e4aae791ec7d37a8458e06023490 /src/common | |
| parent | 7d19237389edebd7cc897494f7db2a4c8dcc97b4 (diff) | |
| download | vericert-ffc978ec677f2f37ab8d8d1bf865cddadf087b81.tar.gz vericert-ffc978ec677f2f37ab8d8d1bf865cddadf087b81.zip | |
Factor out lemmas in main induction proof.
Diffstat (limited to 'src/common')
0 files changed, 0 insertions, 0 deletions