Comment by moi2388

3 days 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