José A. Alonso on Nostr: Anatomy of a formal proof. ~ Jeremy Avigad, Johan Commelin, Heather Macbeth, Adam ...
Published at
2024-11-20 07:30:14Event JSON
{
"id": "7712c542c574dcfca1b079394aea6387592a440dae0682e5b1af1f4b10c2c71a",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1732087814,
"kind": 1,
"tags": [
[
"t",
"math"
],
[
"t",
"Lean4"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113514106991848462",
"activitypub"
]
],
"content": "Anatomy of a formal proof. ~ Jeremy Avigad, Johan Commelin, Heather Macbeth, Adam Topaz. https://arxiv.org/abs/2411.11885 #ITP #Lean4 #Math",
"sig": "91f77ff8b2c3f14c8ea9d4461ff730956d1c334a9b8b7128b5361eb5acf8688189f36c14f91161e80041330bc5404f4faf846b8a651f68cae7449be5aff243bb"
}
