Yalep - Micro language based on Lean for teaching mathematical high-school proofs (via jeanthomas) — discussion

#education #formalmethods