Special Topics in Logic: Formal Foundations of Mathematics and Proof Assistants

Year

2025-2026

Semester

Spring

Type

Elective

Taught by

Thanos Tsouanas

Start date

24/2

Website

https://tsouanas.org/teaching/tt/2526.2/