swMATH7735MaRDI QIDQ19752FDOQ19752
Author name not available (Why is that?)
Official website: http://www.haskell.org/haskellwiki/Zeno
Cited In (24)
- 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
- ACL2s
- HipSpec
- HERMIT
- Hipster
- Cyclist
- Graphsc
- Pirate
- QuickSpec
- TIP
- MATHsAiD
- Refal
- Inductive benchmarks for automated reasoning
- Imandra
- Lemma discovery for induction. A survey
- Induction in saturation-based proof search
- TIP: tools for inductive provers
- Integer induction in saturation
- Removing algebraic data types from constrained Horn clauses using difference predicates
- Inductive theorem proving based on tree grammars
- eThor
This page was built for software: Zeno
