José A. Alonso on Nostr: Information theory in Lean: the DPI. ~ Lorenzo Luccioli. https://youtu.be/7M7Z-iDMM8Y ...
Published at
2025-01-16 09:20:27Event JSON
{
"id": "a3dea7dfe5e6672e6bc282848bdfffa0e52eac24453cc25aa25f9ce9ec11ecf0",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1737019227,
"kind": 1,
"tags": [
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113837292061045717",
"activitypub"
]
],
"content": "Information theory in Lean: the DPI. ~ Lorenzo Luccioli. https://youtu.be/7M7Z-iDMM8Y #ITP #LeanProver",
"sig": "5f4d5236b5bf6726a05042a14c958f539e28cdf5e4bb69a59da860037219128987a64610ae88394cdaa7da11b7c03d701455c7c58488bc3e97f18ba22ca325f8"
}
