diff options
| author | David A. Madore <david+git@madore.org> | 2023-12-18 18:51:38 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2023-12-18 18:51:38 +0100 |
| commit | e58127820b750b17cdaab6674b1430dbd90adcb7 (patch) | |
| tree | 39237324862deef650b19599224cb438b8d2d516 /images/sean-connery-in-name-of-the-rose.jpg | |
| parent | cd0514968c26e6dbabf9aac413888cb349459cc6 (diff) | |
| download | inf110-lfi-e58127820b750b17cdaab6674b1430dbd90adcb7.tar.gz inf110-lfi-e58127820b750b17cdaab6674b1430dbd90adcb7.tar.bz2 inf110-lfi-e58127820b750b17cdaab6674b1430dbd90adcb7.zip | |
Example proof in first-order logic.
Diffstat (limited to 'images/sean-connery-in-name-of-the-rose.jpg')
0 files changed, 0 insertions, 0 deletions