Tariq on Nostr: preparing the next #lean4 beginners tutorial the next one will be on "#maths proof by ...
preparing the next #lean4 beginners tutorial
the next one will be on "#maths proof by cases"
watch out for announcements:
blog: https://leanfirststeps.blogspot.com
video: https://www.youtube.com/@LeanFirstSteps/videos
---
the sample code is a proof that (x=3) ∨ (x=-3) ⇒ x^2 = 9 for integer x
the next one will be on "#maths proof by cases"
watch out for announcements:
blog: https://leanfirststeps.blogspot.com
video: https://www.youtube.com/@LeanFirstSteps/videos
---
the sample code is a proof that (x=3) ∨ (x=-3) ⇒ x^2 = 9 for integer x