summaryrefslogtreecommitdiffstats
path: root/transp-inf110-01-calc.tex
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2023-11-30 19:00:58 +0100
committerDavid A. Madore <david+git@madore.org>2023-11-30 19:00:58 +0100
commit8d989df63fbfdfa08bbcba4e982387075c8fd4d6 (patch)
treed3277509bfef73baad286d8bafd40246d8d62d35 /transp-inf110-01-calc.tex
parentb89d2450b5926012ff926f38ab9a799b32df03a0 (diff)
downloadinf110-lfi-8d989df63fbfdfa08bbcba4e982387075c8fd4d6.tar.gz
inf110-lfi-8d989df63fbfdfa08bbcba4e982387075c8fd4d6.tar.bz2
inf110-lfi-8d989df63fbfdfa08bbcba4e982387075c8fd4d6.zip
Give two examples of natural deduction proofs (written in sequent style).
Diffstat (limited to 'transp-inf110-01-calc.tex')
0 files changed, 0 insertions, 0 deletions