You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
212f3dd Mariano Moscato 2020-02-14 Apply autofix to fix/clean proofs.
a08a037 Mariano M. Moscato 2020-01-22 Restructure Riemann examples and strategies (deprecates old strategies since they provoke a stack overflow error in PVS7)
4fd0d13 Mariano M. Moscato 2019-12-23 Add safe definitions for numerical operations and convinience definitions for numerical order relations.
5c3156a Aaron Dutle 2019-12-18 added a polynomial lemma
aa3b091 C. Munoz 2019-05-17 Added summaries and .dep
a388aba Mariano M. Moscato 2019-05-07 Add axiomatic and extended concrete formalizations of floating-point numbers.
31f35de C. Munoz 2019-04-24 Merge branch 'master' into pvs7.0