1 paper
Frédéric Tran Minh, Laure Gonnord, Julien Narboux
In parallel to the ever-growing usage of mechanized proofs in diverse areas of mathematics and computer science, proof assistants are used more and more for education. This paper s…