| Full name | Description | Actions |
|---|---|---|
| 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 | ||
| Website for the team of Julie Josse | ||
| Fed-BioMed implementation for the Fed-BioNet project |
