The following pages link to Sort It Out with Monotonicity (Q5200026):
Displaying 7 items.
- The higher-order prover \textsc{Leo}-II (Q287283) (← links)
- Monotonicity inference for higher-order formulas (Q438558) (← links)
- Twee: an equational theorem prover (Q2055894) (← links)
- Model Finding for Recursive Functions in SMT (Q2817915) (← links)
- Finding Finite Models in Multi-sorted First-Order Logic (Q2818025) (← links)
- Encoding Monomorphic and Polymorphic Types (Q2974796) (← links)
- Automatic Proof and Disproof in Isabelle/HOL (Q3172879) (← links)
