Interactive Theorem Proving
Jeremy Avigad, Assia Mahboubi
Interactive Theorem Proving - 1st ed. 2018 - Springer International Publishing 2018 - 10895 - Lecture Notes in Computer Science .
978-3-319-94821-8
1611-3349
Interactive Theorem Proving - 1st ed. 2018 - Springer International Publishing 2018 - 10895 - Lecture Notes in Computer Science .
978-3-319-94821-8
1611-3349