teach/inf110-lfi.git, branch master INF110 (logique et fondements de l'informatique) http://git.madore.org/cgit/teach/inf110-lfi.git/atom?h=master 2026-01-25T19:23:39+00:00 Remove spurious \iftrue / \if that were used for testing. 2026-01-25T19:23:39+00:00 David A. Madore david+git@madore.org 2026-01-25T19:23:39+00:00 urn:sha1:3dd2bb690a59167a6399424b714beae28d4cb7df Finish proofreading exam questions. 2026-01-25T19:22:30+00:00 David A. Madore david+git@madore.org 2026-01-25T19:22:30+00:00 urn:sha1:cd895362c4db42e2c05bfd9b3d9ae8f0850e3670 Wrap up exercise 3 and answer key. 2026-01-25T18:01:14+00:00 David A. Madore david+git@madore.org 2026-01-25T18:01:08+00:00 urn:sha1:241e0894786d3f305bb2cb1dd549c9e1882ebefd An exercise showing that Scott's formula is not provable. 2026-01-20T20:51:19+00:00 David A. Madore david+git@madore.org 2026-01-20T20:51:19+00:00 urn:sha1:b179840d62efec480f8a7ccb57e92654990a8d25 Write answer key for the exercise on the Kleene tree. 2026-01-20T19:20:20+00:00 David A. Madore david+git@madore.org 2026-01-20T19:20:20+00:00 urn:sha1:2a0d406b122f0160ffa8452a393c672bcc7373e3 Add an exercise on the Kleene tree. 2026-01-20T12:57:17+00:00 David A. Madore david+git@madore.org 2026-01-20T12:57:17+00:00 urn:sha1:a3770908fc7193256a21386f34eb7dc38550775b Start writing 2026 test with questions provided by TZ. 2026-01-20T11:26:17+00:00 David A. Madore david+git@madore.org 2026-01-20T11:26:17+00:00 urn:sha1:4b8d70e5cbf2a3c2d381c05a946d30297364ba93 Standardize premble. 2026-01-19T11:47:23+00:00 David A. Madore david+git@madore.org 2026-01-19T11:47:23+00:00 urn:sha1:cf33b83aee05ad1d1214b610461a2876dbb06b5b Rocq is the new Coq. 2026-01-19T11:45:37+00:00 David A. Madore david+git@madore.org 2026-01-19T11:45:37+00:00 urn:sha1:f6ff6ed8783096047432e8f1ec8f474a3d94422f A few clarifications on the syllabus. 2026-01-19T11:44:01+00:00 David A. Madore david+git@madore.org 2026-01-19T11:44:01+00:00 urn:sha1:b2e9266b06de41e1dcd329da624806e99bdc61bf