?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
fix sessions and CE oracles
[why3.git] / tests / test-div-cvc3.why
blobb3a99c96202492f43c68985b570a88ee0028f2dc
1 theory Nd
2   use real.Real
3
4   goal G3: forall a:real . (a > 0.0) -> (inv (a) > 0.0)
5
6 end
A platform for deductive program verification