Explore projects

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

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

This project intends to set up the common portal for internally managing the data produced by the PermaFrance observatory

Repo des présentations du groupe

Neural Network Adequate hardWare Architectures for Quantization