Interactive Theorem Proving
Jeremy Avigad, Assia Mahboubi
Interactive Theorem Proving - Springer 2018 - Lecture Notes in Computer Science .
Computer Science
Interactive Theorem Proving - Springer 2018 - Lecture Notes in Computer Science .
Computer Science