Proof Pearl: Revisiting the Mini-rubik in Coq

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/978-3-540-71067-7_25 ◽

2008 ◽

pp. 310-319 ◽

Author(s):

Laurent Théry

Download Full-text