José A. Alonso on Nostr: Designing proof deautomation for Coq. ~ Jessica Shi, Cassia Torczon, Harrison ...
Published at
2024-11-17 11:32:07Event JSON
{
"id": "c37a18ae03270bddd9617f5403d71fc9061f9a8eeba827ea2de10d2a9a75dde4",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1731843127,
"kind": 1,
"tags": [
[
"t",
"coq"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113498071218676037",
"activitypub"
]
],
"content": "Designing proof deautomation for Coq. ~ Jessica Shi, Cassia Torczon, Harrison Goldstein, Andrew Head, Benjamin C. Pierce. https://jwshii.github.io/deauto.pdf #ITP #Coq",
"sig": "8a2f9ab04ba0005f16551e5cd3c46e4c0832c68076f68a80ae190cbdfa5c0c3b10af373156031f7aae5a80dde96edef9ddc913fb4dc332e8fb71de5fbae97209"
}
