José A. Alonso on Nostr: Readings shared January 14, 2025. ...
Readings shared January 14, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/14-readings_shared_01-14-25 #ITP #IsabelleHOL #Coq #Rocq #Haskell #FunctionalProgramming
José A. Alonso /
npub1pma…v8pw
2025-01-15 07:59:11
Author Public Key
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pwPublished at
2025-01-15 07:59:11Event JSON
{
"id": "9b9cb28a26e93ca08e48be7feff769ed28d8533082819c17138aaf89147d7a1a",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1736927951,
"kind": 1,
"tags": [
[
"t",
"functionalprogramming"
],
[
"t",
"haskell"
],
[
"t",
"rocq"
],
[
"t",
"coq"
],
[
"t",
"IsabelleHOL"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113831310251726077",
"activitypub"
]
],
"content": "Readings shared January 14, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/14-readings_shared_01-14-25 #ITP #IsabelleHOL #Coq #Rocq #Haskell #FunctionalProgramming",
"sig": "caf23ff0f78f3e2e23d7a2689d800c4317182c56ba07bce42fc790f96b5383c74648f77045f07093d907075c427d6737b0e11757b40ddeb61d55f641613fd839"
}