Post #1666322

𝗠𝗮𝘁𝗵𝘀 𝗣𝗿𝗼𝗼𝗳𝘀 𝗶𝗻 𝗟𝗲𝗮𝗻 - 𝗙𝗶𝗿𝘀𝘁 𝗦𝘁𝗲𝗽𝘀 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