Mentions légales du service
Command-line for ci.inria.fr.
Simple example of a docker-in-docker project launched on the shared runners with good practices.
present is a combo of pandoc, reveal.js and mermaid. js to help to make beautiful and efficient presentations.
M2 TAL & M2 SC
A Coq formalization of real analysis compatible with the standard library.
Shallow Water Equation Environment for Tests, Awesome!