An automated prover targeting problems that involve nonlinear real arithmetic.
haskell
library
math
theorem-proving
mathematics
verification
formal-methods
maths
program
mpl
theorem-prover
automatic-theorem-proving
-
Updated
Dec 6, 2023 - JavaScript