summaryrefslogtreecommitdiffstats
path: root/programme-inf110.tex
diff options
context:
space:
mode:
authorDavid A. Madore <david+git@madore.org>2024-01-20 19:13:36 +0100
committerDavid A. Madore <david+git@madore.org>2024-01-20 19:13:36 +0100
commit94d58d4ac97a1f3574e70f6e4065cc83e38958cb (patch)
tree20a1146fc721a5291c5bd11aa39dd97f1070e187 /programme-inf110.tex
parent7e62030a4f92af214820986bfe7fdd17b236cacd (diff)
downloadinf110-lfi-94d58d4ac97a1f3574e70f6e4065cc83e38958cb.tar.gz
inf110-lfi-94d58d4ac97a1f3574e70f6e4065cc83e38958cb.tar.bz2
inf110-lfi-94d58d4ac97a1f3574e70f6e4065cc83e38958cb.zip
Give another presentation of a proof in an exercise (at a student's request).
Diffstat (limited to 'programme-inf110.tex')
0 files changed, 0 insertions, 0 deletions