Search Results for '1isabelle 26 isagenerictheoremprover'

1isabelle 26 isagenerictheoremprover published presentations and documents on DocSlides.

ThreeYearsofExperiencewithSledgehammerL.C.PaulsonandJ.C.BlanchetteThet

by tatyana-admore

1Isabelle[26]isagenerictheoremprover,basedonalogic...