A Coq formalization of real analysis compatible with the standard library.

Forked from Coquelicot / coquelicot

Name
Last commit
Last update
examples Loading commit data...
theories Loading commit data...
.gitignore Loading commit data...
.mailmap 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...