If you’re interested, here are some really fun games/puzzles to learn the basics...

		moi2388 7 months ago \| parent \| context \| favorite \| on: Project to formalise a proof of Fermat’s Last Theo... If you’re interested, here are some really fun games/puzzles to learn the basics of Lean: https://adam.math.hhu.de/