Back to Results
First PageMeta Content
Mathematics / Logic / Software engineering / Mathematical proofs / Automated theorem proving / Functional languages / Literate programming / Graph theory / Structural induction / Rippling / Five lemma / First-order logic


HipSpec: Automating Inductive Proofs of Program Properties Koen Claessen Moa Johansson Nicholas Smallbone
Add to Reading List

Document Date: 2013-01-15 03:40:14

Open Document

File Size: 276,69 KB

Share Result on Facebook