José A. Alonso on Nostr: Root systems and root data in Mathlib. ~ Oliver Nash. https://youtu.be/ZPPDktjL1Lw ...
Published at
2025-01-15 10:29:27Event JSON
{
"id": "cfd1ced75387c92ee306011341ad10dd89fa08abac981549f81977447e1ae67e",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1736936967,
"kind": 1,
"tags": [
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113831901105544457",
"activitypub"
]
],
"content": "Root systems and root data in Mathlib. ~ Oliver Nash. https://youtu.be/ZPPDktjL1Lw #ITP #LeanProver",
"sig": "8f6919ccd0139ac18c038f0bc418bee4f51a08a84c29627bda854b1c18c96aa0ded2c89b8a0168618e9ec82d9c4ff2608d0029a54098adff5e828a5c389c8a41"
}
