author | Luke Kenneth Casson Leighton <lkcl@lkcl.net> | |
Wed, 15 Jul 2020 12:21:21 +0000 (13:21 +0100) | ||
committer | Luke Kenneth Casson Leighton <lkcl@lkcl.net> | |
Wed, 15 Jul 2020 12:21:21 +0000 (13:21 +0100) |
Documentation/notes_on_formal_proofs.mdwn | patch | blob | history |