Skip to content

GitLab

Explore

Sign in

Y

Yalep

Project information

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

10 Commits
2 Branches
0 Tags

README
GNU General Public License v3.0 or later

Created on

May 26, 2025

Copy SSH clone URLgit@gricad-gitlab.univ-grenoble-alpes.fr:yalep/Yalep.git
Copy HTTPS clone URLhttps://gricad-gitlab.univ-grenoble-alpes.fr/yalep/Yalep.git

Loading