Yalep – Micro language based on Lean for teaching mathematical high-school proo

3 months ago 3

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

Read Entire Article