Importing HOL into Isabelle/HOL

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/11814771_27 ◽

2006 ◽

pp. 298-302 ◽

Cited By ~ 33

Author(s):

Steven Obua ◽

Sebastian Skalberg

Download Full-text