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

89 Commits
2 Branches
2 Tags

README
GNU General Public License v3.0 or later

Created on

May 26, 2025

Loading