Comment by moi2388

6 months ago

If you’re interested, here are some really fun games/puzzles to learn the basics of Lean: https://adam.math.hhu.de/

0 comments