diff options
| author | Greg Brown <greg.brown01@ed.ac.uk> | 2023-07-25 16:32:51 +0100 |
|---|---|---|
| committer | Greg Brown <greg.brown01@ed.ac.uk> | 2023-07-25 16:32:51 +0100 |
| commit | c305e99c3f0866d2aa4fb0431b06fc398663bd94 (patch) | |
| tree | c1dcc5321816c953b11f04b27b438c3de788970c /.gitignore | |
| parent | bb4e7c82b7ecd93b7241be5fcc547cfd282a8908 (diff) | |
Remove SFin.
Delete unused modules.
Restructure some proofs to reduce the number of lemmas.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions