Zeno
From MaRDI portal
Cited in
(25)- Inductive theorem proving based on tree grammars
- Automating Induction with an SMT Solver
- Automating Inductive Proofs Using Theory Exploration
- TIP: tons of inductive problems
- Proving properties of functional programs by equality saturation
- IsaPlanner
- ACL2s
- HipSpec
- HERMIT
- Hipster
- Cyclist
- Graphsc
- Pirate
- QuickSpec
- TIP
- MATHsAiD
- Refal
- Imandra
- Inductive benchmarks for automated reasoning
- Lemma discovery for induction. A survey
- Induction in saturation-based proof search
- TIP: tools for inductive provers
- Integer induction in saturation
- eThor
- Removing algebraic data types from constrained Horn clauses using difference predicates
This page was built for software: Zeno
