Event JSON
{
"id": "bc1da3fcb9c355a019cccdb75c244681b2d1fc0a71984ddb4fcfd6780b724e1e",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1725707858,
"kind": 1,
"tags": [
[
"t",
"Lean4"
],
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113095990234789537",
"activitypub"
]
],
"content": "Metaprogramming in Lean. ~ Siddhartha Gadgil. https://youtube.com/playlist?list=PL_bVGic_CrGtMw1QVFRLRsZjcymm56mRi\u0026si=xCh3BrJr1Dgq_xSE #ITP #LeanProver #Lean4",
"sig": "c32e65f257e29db7284d107103ebf9c6ca459c3f181e4025bbb89c4edf89ddc2609a6f7c144facb02f02456ef719d95a1cc0da7b09fb5846b58c7a38ae5abe36"
}
