Automating Proof Steps of Progress Proofs: Comparing Vampire and Dafny.
Sylvia GreweSebastian ErdwegMira MeziniPublished in: Vampire@IJCAR (2016)
Keyphrases
- theorem prover
- mathematical proofs
- theorem proving
- interactive theorem proving
- formal proof
- automated theorem provers
- natural deduction
- automated theorem proving
- mathematical knowledge
- proof search
- cut elimination
- sequent calculus
- inference rules
- linear logic
- real world
- proof planning
- multi step
- artificial intelligence
- machine learning