diff options
author | James Pollard <james@pollard.dev> | 2020-06-22 17:15:29 +0100 |
---|---|---|
committer | James Pollard <james@pollard.dev> | 2020-06-22 17:15:29 +0100 |
commit | be6ad3cd886b3ea79abe6addc2f2add779f55292 (patch) | |
tree | 2c17b96f3fa650e7dcc1f14f2dccde990df5d54d /shell.nix | |
parent | e05b93c540d2e0e2cb9f4ab01460eba080b65401 (diff) | |
download | vericert-be6ad3cd886b3ea79abe6addc2f2add779f55292.tar.gz vericert-be6ad3cd886b3ea79abe6addc2f2add779f55292.zip |
Tidy up proof for Aindexed2scaled.
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions