Explore projects

Yalep is a micro language based on Lean for teaching mathematical high-school proofs

symfony5 based Proust correspondence website.

A Moodle activity that connects to a LabNbook platform.

https://sensibilia.gricad-pages.univ-grenoble-alpes.fr/glossaire-sensible-et-ecologie/