Packages tagged verification

1 package has this tag.

[Merge tag] (trustees only)

Related tags: formal-methods (1), library (1), math (1), mathematics (1), maths (1), mpl (1), program (1), theorem-provers (1)

Name
DLs
Rating
Rev Deps
Description
Tags
Last U/L
Last Version
Maintainers
LPPaver120.00An automated prover targeting problems that involve nonlinear real arithmetic (formal-methods, library, math, mathematics, maths, mpl, program, theorem-provers, verification)2023-03-130.0.5.0JunaidRasheed