José A. Alonso on Nostr: Octonions in Isabelle/HOL. ~ Angeliki Koutsoukou-Argyraki
Published at
2024-12-20 19:51:27Event JSON
{
"id": "fe025cd453d5ff8e51c74bc14d76f8d6bfa8d032ce23024a199fb9ff5294b5ae",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1734724287,
"kind": 1,
"tags": [
[
"e",
"bf907b7ef469267d1e6a5708becf938782a0690d4ee8de8b0fa0b5153f5ba090",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113686890920145679",
"activitypub"
]
],
"content": "Octonions in Isabelle/HOL. ~ Angeliki Koutsoukou-Argyraki https://www.isa-afp.org/entries/Octonions.html",
"sig": "320872e77ad073c9e6959afd8b4338842ef79dc71e6818148b0d299ca357c294c331088b16e663b098f059318f32ff1c5603852948b174e5830580b24614b5a9"
}
