Explore projects

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.

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

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