summaryrefslogtreecommitdiffstats
path: root/transp-inf110-02-typage.tex
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2024-01-12 17:12:15 +0100
committerDavid A. Madore <david+git@madore.org>2024-01-12 17:12:15 +0100
commit9d42fd28dabb7832adaa22c4e9590ca7efe9a0eb (patch)
tree83c2d685b521e411f87a2cb29dec793cb00fc8bc /transp-inf110-02-typage.tex
parent24a48fb29b64cc71eef8a2b1a0e46eb69c78c475 (diff)
downloadinf110-lfi-9d42fd28dabb7832adaa22c4e9590ca7efe9a0eb.tar.gz
inf110-lfi-9d42fd28dabb7832adaa22c4e9590ca7efe9a0eb.tar.bz2
inf110-lfi-9d42fd28dabb7832adaa22c4e9590ca7efe9a0eb.zip
An easy exercise on first-order logic.
Diffstat (limited to 'transp-inf110-02-typage.tex')
0 files changed, 0 insertions, 0 deletions