Event JSON
{
"id": "e26bb4a2624dbcda43727fb76cb76a5481a518ee3d3cea5fc9851e60d111f72e",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1729666514,
"kind": 1,
"tags": [
[
"p",
"786b7c7fa097f817a5d25d2d98ed060686b92ee7e69444b1f0d28d6305f574ba",
"wss://relay.mostr.pub"
],
[
"p",
"340694a5c7115fe0918fe7ec9038786592e3804f1a0e457e3e09d03ecfdadc6b",
"wss://relay.mostr.pub"
],
[
"t",
"math"
],
[
"t",
"Lean4"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113355424705028302",
"activitypub"
]
],
"content": "Lean: First steps (Appendix A - Taxonomy). ~ Tariq Rashid (nostr:npub10p4hclaqjlup0fwjt5ke3mgxq6rtjth8u62yfv0s62xkxp04wjaqp5jn3m). https://leanfirststeps.blogspot.com/2024/10/appendix-taxonomy.html #ITP #Lean4 #Math",
"sig": "0f77be1b43106989a782ae7a08f6668eee6f4f33b10f6e422ae23a8848300e5366c289c92b881f170478bf524b56207ad5b35b76d7b3046bc26b63f8f2695e0a"
}
