Explore projects

Repo des présentations du groupe

Git training documents. Principal author: Matthieu Moy Advanced parts authors: Sylvain Bouveret and Mounié Grégory

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

https://augierpi.gricad-pages.univ-grenoble-alpes.fr/