Y

Yalep

Project information

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

123 Commits
5 Branches
3 Tags

README
GNU General Public License v3.0 or later

Created on

May 26, 2025

Loading