Tariq on Nostr: Started to add to the #lean blog ... This second post explains how "substitution" ...

Started to add to the #lean blog ...

This second post explains how "substitution" works in lean #maths proofs.

y = x + 3
x = 3
We used substitution to get y = 7

Easy.. but that's how we'll work through this course.. in small steps. Video coming soon.

https://leanfirststeps.blogspot.com/2024/06/02-substitution.html