José A. Alonso on Nostr: Grupos en Lean. ~ Luis Turcio. https://www.youtube.com/live/Y1pCjBA2u6w #ITP #Lean4 ...
Published at
2024-11-07 11:41:15Event JSON
{
"id": "d3c5fc31afa86f38514bf6a22b1d2c9fb9ebc0924f9206f2a1da74e25f0f9d8c",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1730979675,
"kind": 1,
"tags": [
[
"t",
"math"
],
[
"t",
"Lean4"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113441484026641196",
"activitypub"
]
],
"content": "Grupos en Lean. ~ Luis Turcio. https://www.youtube.com/live/Y1pCjBA2u6w #ITP #Lean4 #Math",
"sig": "1c392bfba5935ef11cfc244da17dae216817566c6fe95aa16a6949bf9f4c327710023be2944e724758b23af39bd4fa865985732ae813b051acd25e5ca88c341c"
}
