Formalising Mathematics with Proof Assistants (Invited tutorial)

Research output: Contribution to conference › Abstract › peer-review

Original language	English
Publication status	Published - 2024
Event	14th Panhellenic Logic Symposium - Thessaloniki, Greece Duration: 1 Jul 2024 → 5 Jul 2024

Conference	14th Panhellenic Logic Symposium
Country/Territory	Greece
City	Thessaloniki
Period	1/07/24 → 5/07/24

Access to Document