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
Tariq /
npub1xs…ctf6m
2024-06-29 15:48:03
Author Public Key
npub1xsrfffw8z907pyv0ulkfqwrcvkfw8qz0rg8y2l37p8gran76m34s2ctf6mPublished at
2024-06-29 15:48:03Event JSON
{
"id": "8a4bfa3413ff6cf7dcb1696a133fa0d4fec5b2f85755da4167f639067a6864da",
"pubkey": "340694a5c7115fe0918fe7ec9038786592e3804f1a0e457e3e09d03ecfdadc6b",
"created_at": 1719676083,
"kind": 1,
"tags": [
[
"t",
"lean"
],
[
"t",
"maths"
],
[
"proxy",
"https://mastodon.social/users/rzeta0/statuses/112700691840284137",
"activitypub"
]
],
"content": "Started to add to the #lean blog ...\n\nThis second post explains how \"substitution\" works in lean #maths proofs.\n\ny = x + 3\nx = 3\nWe used substitution to get y = 7\n\nEasy.. but that's how we'll work through this course.. in small steps. Video coming soon.\n\nhttps://leanfirststeps.blogspot.com/2024/06/02-substitution.html",
"sig": "13c8dbf5b63df70f400a6a04aa44b1ebf16ece1a1eaf52bc16c1e292b925862002cb1b9c5ef722089153728450008b511aef42ec32c721d9bac9484c27018858"
}