GitHub repository: CEUB-Lucas-Linard/lean-inception-mygym
Description: pi-ii-2025-1-ceub-lucas-linard-lean-inception-lean_inception created by GitHub Classroom