A Tactic Language for the System Coq

Logic for Programming and Automated Reasoning - Lecture Notes in Artificial Intelligence ◽

10.1007/3-540-44404-1_7 ◽

2007 ◽

pp. 85-95 ◽

Author(s):

David Delahaye

Download Full-text