CoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.

Name
Last commit
Last update
src Loading commit data...
testsuite Loading commit data...
.gitignore Loading commit data...
.mailmap Loading commit data...
AUTHORS Loading commit data...
COPYING Loading commit data...
INSTALL.md Loading commit data...
NEWS.md Loading commit data...
README.md Loading commit data...
Remakefile.in Loading commit data...
_CoqProject Loading commit data...
autogen.sh Loading commit data...
configure.in Loading commit data...
remake.cpp Loading commit data...