| 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 |
