HipSpec
From MaRDI portal
Software:19753
No author found.
Source code repository: https://github.com/danr/hipspec
Related Items (18)
Theory exploration powered by deductive synthesis ⋮ Proving properties of functional programs by equality saturation ⋮ TIP: Tons of Inductive Problems ⋮ Disproving Inductive Entailments in Separation Logic via Base Pair Approximation ⋮ Mechanical synthesis of sorting algorithms for binary trees by logic and combinatorial techniques ⋮ TIP: Tools for Inductive Provers ⋮ Equivalence checking of two functional programs using inductive theorem provers ⋮ Superposition with structural induction ⋮ Quick specifications for the busy programmer ⋮ Induction with generalization in superposition reasoning ⋮ Automating Inductive Proofs Using Theory Exploration ⋮ Combining induction and saturation-based theorem proving ⋮ Unnamed Item ⋮ Hipster: Integrating Theory Exploration in a Proof Assistant ⋮ Unprovability results for clause set cycles ⋮ Induction and Skolemization in saturation theorem proving ⋮ Removing algebraic data types from constrained Horn clauses using difference predicates ⋮ Inductive theorem proving based on tree grammars
This page was built for software: HipSpec
