diff options
| author | David A. Madore <david+git@madore.org> | 2023-12-02 17:54:00 +0100 |
|---|---|---|
| committer | David A. Madore <david+git@madore.org> | 2023-12-02 17:54:00 +0100 |
| commit | 274f1d328dca636784b45d1bf198692b751c7828 (patch) | |
| tree | 19d62a41f916ad5a606a68c5ee5e4fa0ac1a7521 /exercices-inf110.tex | |
| parent | e76ff9b3cd8e1c9e2b189bd740ebf3ff688e6e6a (diff) | |
| download | inf110-lfi-274f1d328dca636784b45d1bf198692b751c7828.tar.gz inf110-lfi-274f1d328dca636784b45d1bf198692b751c7828.tar.bz2 inf110-lfi-274f1d328dca636784b45d1bf198692b751c7828.zip | |
Yet another presentation of natural deduction proofs (flag presentation).
Diffstat (limited to 'exercices-inf110.tex')
0 files changed, 0 insertions, 0 deletions