José A. Alonso on Nostr: Scaling mathlib: tooling and automation for an ever-growing mathematics library. ~ ...
Scaling mathlib: tooling and automation for an ever-growing mathematics library. ~ Michael Rothgang.
https://youtu.be/cabiomTEWe0 #ITP #LeanProver
Published at
2025-01-17 07:57:03Event JSON
{
"id": "7cd9cc91431d568888088a294930bd1855d66f67f27bf8af94be37192d7b6783",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1737100623,
"kind": 1,
"tags": [
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113842626456829548",
"activitypub"
]
],
"content": "Scaling mathlib: tooling and automation for an ever-growing mathematics library. ~ Michael Rothgang. https://youtu.be/cabiomTEWe0 #ITP #LeanProver",
"sig": "6f253fcd6e01d01fb7090850faa376581e6bffe9d52701f0ad9ebc1ce866d81a55f4a8aa451172768db70463fe01ec931a54365da76a1a9458fc73c9ba07f154"
}
