Flexible Refinement Proofs in Separation Logic.
Aurel BílýChristoph MathejaPeter MüllerPublished in: CoRR (2021)
Keyphrases
- natural deduction
- cut elimination
- sequent calculus
- theorem prover
- theorem proving
- logic programming
- automated reasoning
- logical framework
- classical logic
- proof search
- information retrieval
- machine learning
- inference rules
- equational theories
- formal proofs
- delay insensitive
- computer algebra
- automated theorem proving
- set theory
- modal logic