diff options
author | David A. Madore <david+git@madore.org> | 2024-01-20 19:13:36 +0100 |
---|---|---|
committer | David A. Madore <david+git@madore.org> | 2024-01-20 19:13:36 +0100 |
commit | 94d58d4ac97a1f3574e70f6e4065cc83e38958cb (patch) | |
tree | 20a1146fc721a5291c5bd11aa39dd97f1070e187 /transp-inf110-02-typage.tex | |
parent | 7e62030a4f92af214820986bfe7fdd17b236cacd (diff) | |
download | inf110-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 'transp-inf110-02-typage.tex')
0 files changed, 0 insertions, 0 deletions