Explore projects

Flocq (Floats for Coq) is a floating-point formalization for the Coq system. It provides a comprehensive library of theorems on a multi-radix multi-precision arithmetic. It also supports efficient numerical computations inside Coq.

An introduction level training course on Docker and Docker-compose.

Vue d'ensemble des codes sources des composants de la plateforme StopCovid (version 1.0 à 1.X sur iOS et 1.Y sur Android). La V2.0 (et ses évolutions futures) est renommée TousAntiCovid. (voir README.md)

A C program for solving the heat propagation equation in 2D. Serves also as a toy project for playing with gitlab, gitlab-ci, Jenkins, SonarQube, etc.

Spring WP6 - Learning Robot Behavior

Main leader : Inria

https://spring-h2020.eu

https://learninglab.gitlabpages.inria.fr/serious-game/smartphone

Data Processing for Cartolabe

CoqInterval provides tactics for simplifying the proofs of inequalities on expressions of real numbers for the Coq proof assistant.

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

Data Processing for Cartolabe

Command-line for ci.inria.fr.

Development of ATSyRA 2 plugins and Studio

Simple example of pipelines with two stages.

A Dockerisation of Sofia