Sequent Style Proof Terms for HOL

Cached

Download Links

by Tom Ridge

Document Versions

Sequent Style Proof Terms for HOL –Tom Ridge