José A. Alonso on Nostr: Real world autoformalization. ~ Siddhartha Gadgil. https://youtu.be/bTueWi6OdSg #ITP ...
Published at
2025-01-16 09:15:09Event JSON
{
"id": "c9f340b1effffdc1540f4b55c83dfdaa6092303de8e5512d0e67ddd7053b76ee",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1737018909,
"kind": 1,
"tags": [
[
"t",
"math"
],
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113837271278644613",
"activitypub"
]
],
"content": "Real world autoformalization. ~ Siddhartha Gadgil. https://youtu.be/bTueWi6OdSg #ITP #LeanProver #Math",
"sig": "edb2f2c52ed41a810229fa94e2d48705aab8500a6f9da57a80c63d7712bc1a95172c8e1b8550c0f219a8f11517102f75a91252603db53e88ae2a2eefdc77753f"
}
