Scalable LCF-Style Proof Translation

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

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

2013 ◽

pp. 51-66 ◽

Cited By ~ 19

Author(s):

Cezary Kaliszyk ◽

Alexander Krauss

Download Full-text