José A. Alonso on Nostr: Improving on AlphaProof: IMO 2024 problem 2 in Lean 4. ~ David Renshaw. #ITP #Lean4 ...
Improving on AlphaProof: IMO 2024 problem 2 in Lean 4. ~ David Renshaw. https://youtu.be/5IARsdn78xE #ITP #Lean4 #Math #AlphaProof
José A. Alonso /
npub1pm…nv8pw
2024-08-20 11:47:45
Author Public Key
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pwPublished at
2024-08-20 11:47:45Event JSON
{
"id": "90da5cb4865a61333083cd83e1befdfb2895a0160bb44a2c89a25dc4ccbf8e80",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1724154465,
"kind": 1,
"tags": [
[
"t",
"alphaproof"
],
[
"t",
"math"
],
[
"t",
"Lean4"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/112994187049250327",
"activitypub"
]
],
"content": "Improving on AlphaProof: IMO 2024 problem 2 in Lean 4. ~ David Renshaw. https://youtu.be/5IARsdn78xE #ITP #Lean4 #Math #AlphaProof",
"sig": "d7fe18cbb69e72b64c21319285cc847b847a0454a9f96fc04e02ac4f7c7ba2553dfcf51fc588e8cb8247510873ec17ef0cac9f4562afd9db879c6a754d8faa54"
}