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