The following pages link to Zeno (Q19752):
Displaying 11 items.
- Proving properties of functional programs by equality saturation (Q300342) (← links)
- Integer induction in saturation (Q2055871) (← links)
- Removing algebraic data types from constrained Horn clauses using difference predicates (Q2096439) (← links)
- Inductive benchmarks for automated reasoning (Q2128807) (← links)
- Induction with generalization in superposition reasoning (Q2219385) (← links)
- Lemma discovery for induction. A survey (Q2287904) (← links)
- Induction in saturation-based proof search (Q2305434) (← links)
- Inductive theorem proving based on tree grammars (Q2344621) (← links)
- Automating Induction with an SMT Solver (Q2891425) (← links)
- TIP: Tons of Inductive Problems (Q3453129) (← links)
- TIP: Tools for Inductive Provers (Q3460056) (← links)
