Explore projects

This project is the home of the branch of the Truffle R language with a query library.

Quelques l'exercices WIMS pour l'enseignement de l'informatique.

Home of the Isabelle_C development. See https://www.lri.fr/~wolff/projects/Isabelle_C/ and F-IDE 2019 publication

This project is the home of the mill test suite.

This is the development trunc of the HOL-CSP2.0 project.

Any documentation helpfull to understand Codalab software.

Quelques l'exercices WIMS pour l'enseignement de l'informatique.