Welcome to PAT 2023 Thematic School
Proof assistants for teaching proof and proving
18 - 23 June 2023

EuroProofNet