3rd video is now up !
this one is a short one, practising what we've already learned .. but also showcasing that #lean can prove purely symbolic theorems - no actual numbers involved
this is important because purely symbolic #maths theorems can be stronger more general statements
https://youtu.be/vSQEXvnSPtU
Tariq /
npub1xs…ctf6m
2024-07-03 00:25:10
Author Public Key
npub1xsrfffw8z907pyv0ulkfqwrcvkfw8qz0rg8y2l37p8gran76m34s2ctf6mPublished at
2024-07-03 00:25:10Event JSON
{
"id": "cd035cb205388e7c22dc5d089a1d8021998a46efe1ddf4666a5f42d90203efed",
"pubkey": "340694a5c7115fe0918fe7ec9038786592e3804f1a0e457e3e09d03ecfdadc6b",
"created_at": 1719966310,
"kind": 1,
"tags": [
[
"t",
"lean"
],
[
"t",
"maths"
],
[
"proxy",
"https://mastodon.social/users/rzeta0/statuses/112719712113080876",
"activitypub"
]
],
"content": "3rd video is now up !\n\nthis one is a short one, practising what we've already learned .. but also showcasing that #lean can prove purely symbolic theorems - no actual numbers involved\n\nthis is important because purely symbolic #maths theorems can be stronger more general statements \n\nhttps://youtu.be/vSQEXvnSPtU",
"sig": "dceff3fd7e79681661e12d27cf6e5ebe018abbd3d6b2b7a47033f5892abc75d8556718f48e6a03973ecdf1b52a02c44d8d41e5c40f936b122967e462be435046"
}