First Page | Document Content | |
---|---|---|
![]() Date: 2015-07-01 13:38:31Automated theorem proving Proof assistants Formal methods Statements Model theory QED manifesto Theorem Mathematical proof Automated reasoning First-order logic Isabelle Mathematical logic | Add to Reading List |