Event JSON
{
"id": "f505c3d7f35b4e145ea78c044f7d0443c074e3fa3fc7902c45c0fb7548e6dd5e",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1740298820,
"kind": 1,
"tags": [
[
"t",
"mizar"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/114052223500100493",
"activitypub"
]
],
"content": "How to deepen your understanding of Mizar. ~ Alex Nelson. https://thmprover.wordpress.com/2025/02/22/how-to-deepen-your-understanding-of-mizar/ #ITP #Mizar",
"sig": "807b44374b55dd99df1767b10ae088c4b2cb3a4924ad8d620eaaaa9d01776f76a9f5c31dd9b2ef90331d086ac46c7c8407ff9b67b8404f0d61c7e90a977ad20b"
}
