diff options
author | David A. Madore <david+git@madore.org> | 2024-01-11 17:35:32 +0100 |
---|---|---|
committer | David A. Madore <david+git@madore.org> | 2024-01-11 17:35:32 +0100 |
commit | e1a2d17c220fe547f24050887bcdc03f4b40b8f5 (patch) | |
tree | c5cc29e2beb33054c036af3b5132953afa39f991 /images/sean-connery-in-zardoz.jpg | |
parent | 4ef260223f707d5e8fe62581f9c93ca4c7d1e8fd (diff) | |
download | inf110-lfi-e1a2d17c220fe547f24050887bcdc03f4b40b8f5.tar.gz inf110-lfi-e1a2d17c220fe547f24050887bcdc03f4b40b8f5.tar.bz2 inf110-lfi-e1a2d17c220fe547f24050887bcdc03f4b40b8f5.zip |
An exercise on refuting Tseitin's formula using open sets in the plane.
Diffstat (limited to 'images/sean-connery-in-zardoz.jpg')
0 files changed, 0 insertions, 0 deletions