Zeno
From MaRDI portal
Software:19752
No author found.
Related Items (12)
Inductive benchmarks for automated reasoning ⋮ Automating Induction with an SMT Solver ⋮ Proving properties of functional programs by equality saturation ⋮ TIP: Tons of Inductive Problems ⋮ TIP: Tools for Inductive Provers ⋮ Induction with generalization in superposition reasoning ⋮ Automating Inductive Proofs Using Theory Exploration ⋮ Lemma discovery for induction. A survey ⋮ Integer induction in saturation ⋮ Induction in saturation-based proof search ⋮ Removing algebraic data types from constrained Horn clauses using difference predicates ⋮ Inductive theorem proving based on tree grammars
This page was built for software: Zeno
