Search Results for 'rules hol'

rules hol published presentations and documents on DocSlides.

Proof translation and SMT LIB certification

by myesha-ticknor

Yeting. . Ge. Clark Barrett. SMT . 2008. July...