José A. Alonso on Nostr: Logic and computation intertwined. ~ Prabhakar Ragde. #Logic #Racket #ITP #Coq #Agda
Logic and computation intertwined. ~ Prabhakar Ragde. https://cs.uwaterloo.ca/~plragde/flaneries/LACI/ #Logic #Racket #ITP #Coq #Agda
José A. Alonso /
npub1pm…nv8pw
2024-08-24 07:35:41
Author Public Key
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pwPublished at
2024-08-24 07:35:41Event JSON
{
"id": "833c7d7abab0fd324c8fa5ef8daa6ceda098526f74fc8c6b13009686e8c0f4c9",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1724484941,
"kind": 1,
"tags": [
[
"t",
"agda"
],
[
"t",
"coq"
],
[
"t",
"itp"
],
[
"t",
"racket"
],
[
"t",
"logic"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113015845118857120",
"activitypub"
]
],
"content": "Logic and computation intertwined. ~ Prabhakar Ragde. https://cs.uwaterloo.ca/~plragde/flaneries/LACI/ #Logic #Racket #ITP #Coq #Agda",
"sig": "6bbe6bae1d3cfd112c0a52091fd236aecbd0dc553bca3efd15e0d3b64a8b7479dbbe5dac200e6c0c0168c3117984e020a9675976c09beac32c821c9bf8d8063b"
}