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 /transp-inf110-02-typage.tex | |
| 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 'transp-inf110-02-typage.tex')
0 files changed, 0 insertions, 0 deletions