4 ms·
If you’re interested, here are some really fun games/puzzles to learn the basics of Lean: https://adam.math.hhu.de/ https://adam.math.hhu.de/
by moi2388 1y ago
If you’re interested, here are some really fun games/puzzles to learn the basics of Lean: https://adam.math.hhu.de/ https://adam.math.hhu.de/