José A. Alonso on Nostr: Formalization of physics index notation in Lean 4. ~ Joseph Tooby-Smith. ...
Formalization of physics index notation in Lean 4. ~ Joseph Tooby-Smith. https://arxiv.org/pdf/2411.07667 #ITP #Lean4 #Math #Physics
José A. Alonso /
npub1pma…v8pw
2024-11-13 10:20:39
Author Public Key
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pwPublished at
2024-11-13 10:20:39Event JSON
{
"id": "f34f798107b8a30417612e32790111b8bb34eed0ac6247663e7be7f8d50979b3",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1731493239,
"kind": 1,
"tags": [
[
"t",
"physics"
],
[
"t",
"math"
],
[
"t",
"Lean4"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113475140924771757",
"activitypub"
]
],
"content": "Formalization of physics index notation in Lean 4. ~ Joseph Tooby-Smith. https://arxiv.org/pdf/2411.07667 #ITP #Lean4 #Math #Physics",
"sig": "cb093314fb6c530202d33b668efa4b6e004100c60e418b9f68d7e6546b8e730f2780c79fe903e308375077ba1342f977f80d63616c1bd937d04caeb3c98d8f73"
}