157 papers found
Refreshing results…
MetiTarski: An Automatic Prover for the Elementary Functions
Download from www.researchgate.netThe Isabelle/HOL Algebra Library
Download from www.researchgate.netTranslating Higher-Order Clauses to First-Order Clauses
Download from www.researchgate.netExtending a Resolution Prover for Inequalities on Elementary Functions.
Download from citeseerx.ist.psu.eduA Termination Checker for Isabelle Hoare Logic.
Download from www.researchgate.netSource-Level Proof Reconstruction for Interactive Theorem Proving
Download from www.researchgate.netAccountability protocols: Formalized and verified
Download from www.researchgate.netIsabelle: The next seven hundred theorem provers
Download from www.researchgate.netAn overview of the verification of SET
Download from www.researchgate.netProof Pearl: Defining Functions Over Finite Sets
Download from www.researchgate.netOrganizing Numerical Theories Using Axiomatic Type Classes
Download from www.researchgate.netMissing publications? Read more about our data sources.