3 ms·Yalep – Micro language based on Lean for teaching mathematical high-school proo2 points by todsacerdoti 1y ago