# 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 |
---|---|---|---|---|---|---|---|---|

LPPaver | 9 | 0.0 | 0 | An automated prover targeting problems that involve nonlinear real arithmetic | (formal-methods, library, math, mathematics, maths, mpl, program, theorem-provers, verification) | 2023-03-13 | 0.0.5.0 | JunaidRasheed |