Recording HOL proofs in a structured browsable format

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/bfb0000500 ◽

1997 ◽

pp. 567-571 ◽

Cited By ~ 1

Author(s):

Jim Grundy ◽

Thomas Långbacka

Download Full-text