summaryrefslogtreecommitdiffstats
path: root/vc
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2023-12-02 17:54:00 +0100
committerDavid A. Madore <david+git@madore.org>2023-12-02 17:54:00 +0100
commit274f1d328dca636784b45d1bf198692b751c7828 (patch)
tree19d62a41f916ad5a606a68c5ee5e4fa0ac1a7521 /vc
parente76ff9b3cd8e1c9e2b189bd740ebf3ff688e6e6a (diff)
downloadinf110-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 'vc')
0 files changed, 0 insertions, 0 deletions