diff options
| author | Jacob Walchuk <jpw24@st-andrews.ac.uk> | 2025-07-14 15:19:54 -0700 |
|---|---|---|
| committer | Jacob Walchuk <jpw24@st-andrews.ac.uk> | 2025-07-14 15:19:54 -0700 |
| commit | 9e820198b2c4301014a623d0783ddf149ce1c701 (patch) | |
| tree | ee8d0f96f1a4ebf6e61d3ca5c9afe5bae244f085 /Makefile | |
| parent | 8a2fc652889220d2c9b53a88c877605a015646c7 (diff) | |
paper 3: realigned proofs to have logical operations flush right
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions