News
Progress in MiL course
Written on 27.11.2025 16:44 by Leon Pernak
Dear students,
The notes for today's session are online.
Our goal is to finish the Chapter 3 (Logic) of the Mathematics in Lean course by the end of next session, so please finish secion 1-5 of that chapter before.
Best,
Leon