Event JSON
{
"id": "bf907b7ef469267d1e6a5708becf938782a0690d4ee8de8b0fa0b5153f5ba090",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1734677048,
"kind": 1,
"tags": [
[
"t",
"math"
],
[
"t",
"mizar"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113683795037110661",
"activitypub"
]
],
"content": "Formalize the octonions. ~ Alex Nelson (@pqnelson.bsky.social). https://thmprover.wordpress.com/2024/12/19/formalize-the-octonions/ #ITP #Mizar #Math",
"sig": "2c84a898ca58d7453d8b0808f1d7ad4760c42cbfcbeb794636d3c24e942ecfb6b8391d5e48677c37f8aebb446c51c74fa080c1a6afa693ea2687297c9db1efaf"
}
