@hackage / aern2-mfun

Multi-variate real function optimisation and proving

0.2.9.0

Dependents

@hackage / LPPaver An automated prover targeting problems that involve nonlinear real arithmetic
- Version: 0.0.5.0
- Last uploaded: 3 years ago
- License: MPL-2.0
@hackage / PropaFP Auto-active verification of floating-point programs
- Version: 0.1.2.0
- Last uploaded: 3 years ago
- License: MPL-2.0