Welcome to PAT 2023 Thematic School
Proof assistants for teaching proof and proving
19 - 23 June 2023
group picture of PAT 2023 Thematic School

EuroProofNet