What does PATE stand for?
PATE stands for "Proof Assistants and Types in Education"
How to abbreviate "Proof Assistants and Types in Education"?
"Proof Assistants and Types in Education" can be abbreviated as PATE
What is the meaning of PATE abbreviation?
The meaning of PATE abbreviation is "Proof Assistants and Types in Education"
What does PATE mean?
PATE as abbreviation means "Proof Assistants and Types in Education"
