Monotonox
From MaRDI portal
Software:22367
No author found.
Related Items (4)
Automatic Proof and Disproof in Isabelle/HOL ⋮ Monotonicity inference for higher-order formulas ⋮ TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism ⋮ Sort It Out with Monotonicity
This page was built for software: Monotonox