MetaPRL – A Modular Logical Environment

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

10.1007/10930755_19 ◽

2003 ◽

pp. 287-303 ◽

Cited By ~ 14

Author(s):

Jason Hickey ◽

Aleksey Nogin ◽

Robert L. Constable ◽

Brian E. Aydemir ◽

Eli Barzilay ◽

...

Download Full-text