José A. Alonso on Nostr: Formalizing the divided power envelope in Lean. ~ María Inés de Frutos ...
Formalizing the divided power envelope in Lean. ~ María Inés de Frutos Fernández. https://youtu.be/QCRLwC5JQw0 #ITP #LeanProver #Math
José A. Alonso /
npub1pma…v8pw
2024-11-15 18:47:09
Author Public Key
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pwPublished at
2024-11-15 18:47:09Event JSON
{
"id": "87c4b97879d7ac8afeb9eec0d50ac9eff998878c634f17d7722bfc14073bebd6",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1731696429,
"kind": 1,
"tags": [
[
"t",
"math"
],
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113488457181786714",
"activitypub"
]
],
"content": "Formalizing the divided power envelope in Lean. ~ María Inés de Frutos Fernández. https://youtu.be/QCRLwC5JQw0 #ITP #LeanProver #Math",
"sig": "a97fc37e2edc6978355f29ff0c8e185d20876748a0e19a69b58036a6f50c1d086b5ddd178cb139d7ca2fab67cf45c17532105a0eceafa1dc76a76c97da970960"
}