Full name | Description | Actions |
---|---|---|
Coquelicot provides vernacular files containing a formalization of real analysis for the Coq proof assistant. It is a conservat [...] | ||
Gappa is a tool intended to help verifying and formally proving properties on numerical programs dealing with floating-point or [...] | ||
CoqInterval provides vernacular files containing tactics for simplifying the proofs of inequalities on expressions of real numb [...] | ||
Description of your software. Tools used to build and test your software. | ||
- tests : Cypress.IO - build : Docker - CLI: NPM |
||
Solves Material Flow Analysis Problems | ||
Thesis Latex compilation | ||
CI reproducing experiments with access |