Tariq (@[email protected])

Attached: 2 images 𝗠𝗮𝘁𝗵𝘀 𝗣𝗿𝗼𝗼𝗳𝘀 𝗶𝗻 𝗟𝗲𝗮𝗻 - 𝗙𝗶𝗿𝘀𝘁 𝗦𝘁𝗲𝗽𝘀 You don't need to be a PhD to write simple maths proofs in Lean. This course takes you from a complete beginner, and gives you enough confidence to read and write simple proofs. Each chapter has one exercise, designed to build confidence, not destroy it! youtube: https://www.youtube.com/@LeanFirstSteps/videos free content: https://leanfirststeps.blogspot.com/p/contents.html book: https://www.amazon.com/dp/B0DWHS1RDJ #leanprover #education #maths