Canonical Structures for the Working Coq User

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39634-2_5 ◽

2013 ◽

pp. 19-34 ◽

Cited By ~ 17

Author(s):

Assia Mahboubi ◽

Enrico Tassi

Download Full-text