Hacker News new | ask | show | jobs
by moi2388 307 days ago
If you’re interested, here are some really fun games/puzzles to learn the basics of Lean: https://adam.math.hhu.de/