Back to Results
First PageMeta Content
Theoretical computer science / Formal methods / Mathematical logic / Logic in computer science / Mathematics / Constraint programming / Automated theorem proving / Satisfiability modulo theories / Formal verification / Type theory / First-order logic / Vampire


Making Automatic Theorem Provers more Versatile Simon Cruanes Veridis, Inria Nancy https://cedeela.fr/~simon/ August 2017
Add to Reading List

Document Date: 2017-08-08 03:28:32


Open Document

File Size: 371,90 KB

Share Result on Facebook
UPDATE