summaryrefslogtreecommitdiffstats
path: root/vc
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2023-11-27 23:44:20 +0100
committerDavid A. Madore <david+git@madore.org>2023-11-27 23:44:20 +0100
commitf41200967e489fb7e1fe14e189080a48903a0674 (patch)
treedd8266880dd42b6fb488e5447b1773f523303503 /vc
parent8d9b259203eac848f2e9092abeba9d5b3f358bbf (diff)
downloadinf110-lfi-f41200967e489fb7e1fe14e189080a48903a0674.tar.gz
inf110-lfi-f41200967e489fb7e1fe14e189080a48903a0674.tar.bz2
inf110-lfi-f41200967e489fb7e1fe14e189080a48903a0674.zip
Rules of inuitionistic propositional calculus in natural deduction style.
Diffstat (limited to 'vc')
0 files changed, 0 insertions, 0 deletions