summaryrefslogtreecommitdiffstats
path: root/images
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2023-12-04 22:08:41 +0100
committerDavid A. Madore <david+git@madore.org>2023-12-04 22:08:41 +0100
commit078a1662d0ebeb28c217eb60eac5600e4652c418 (patch)
treee751d069ed94fe5f37ca997dfd32e8bf292a85da /images
parentb30dbdc7c4a288624e7942f412697ffbe97d891c (diff)
downloadinf110-lfi-078a1662d0ebeb28c217eb60eac5600e4652c418.tar.gz
inf110-lfi-078a1662d0ebeb28c217eb60eac5600e4652c418.tar.bz2
inf110-lfi-078a1662d0ebeb28c217eb60eac5600e4652c418.zip
The rules of sequent calculus.
Diffstat (limited to 'images')
0 files changed, 0 insertions, 0 deletions