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
  1. Homepage
  2. Technology
  3. Yalep – Micro language based on Lean for teaching mathematical high-school proo

Related

The Aussie giving War and Peace a 'bogan' remake

The Aussie giving War and Peace a 'bogan' remake

25 minutes ago 0
Nothing Impossible Happens

Nothing Impossible Happens

34 minutes ago 0
What Dwayne 'The Rock' Johnson Knows About Pain

What Dwayne 'The Rock' Johnson Knows About Pain

36 minutes ago 0
Hostinger Web Hosting