Implementing Modules in the Coq System

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

10.1007/10930755_18 ◽

2003 ◽

pp. 270-286 ◽

Cited By ~ 21

Author(s):

Jacek Chrząszcz

Download Full-text