Event JSON
{
"id": "bf77786b7115849308f901b794f458d8cc10b7d7aed3710ae76005af1c7397f1",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1723976757,
"kind": 1,
"tags": [
[
"p",
"433e88698b6a60eefe92383f6ab1a349ef249f4429ff0f9e454ff0bb0b689d7f",
"wss://relay.mostr.pub"
],
[
"p",
"27e5751c61919d695029ab417a7c36fb909ede24913df1e636fea3c0b824d8c8",
"wss://relay.mostr.pub"
],
[
"t",
"functionalprogramming"
],
[
"t",
"Lean4"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/112982540769255332",
"activitypub"
]
],
"content": "Lean again. ~ Adolfo Neto (nostr:npub1gvlgs6vtdfswal5j8qlk4vdrf8hjf86y98lsl8j9flctkzmgn4ls7c8hce). https://youtu.be/ywBsvy4MxSc #ITP #Lean4 #FunctionalProgramming",
"sig": "780ceef3014ecaa86e9c3ec3479337d84aac46e98c9bf000cd8f9e25c0340cf67a5767c95df7439b3b5ad915e19999fdbbe8363d3d1f928883fafcd02b4a2d99"
}
