José A. Alonso on Nostr: Readings shared January 13, 2025. ...
Readings shared January 13, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/13-readings_shared_01-13-25 #ITP #Coq #Rocq #HOL4 #CommonLisp #Programming #Math
José A. Alonso /
npub1pma…v8pw
2025-01-14 07:57:02
Author Public Key
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pwPublished at
2025-01-14 07:57:02Event JSON
{
"id": "65064de9865f561cde0f1f9a809a30606a029f0e215a1aa7cb3a343d3abc16e3",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1736841422,
"kind": 1,
"tags": [
[
"t",
"math"
],
[
"t",
"programming"
],
[
"t",
"commonlisp"
],
[
"t",
"hol4"
],
[
"t",
"rocq"
],
[
"t",
"coq"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113825639474896464",
"activitypub"
]
],
"content": "Readings shared January 13, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/13-readings_shared_01-13-25 #ITP #Coq #Rocq #HOL4 #CommonLisp #Programming #Math",
"sig": "b39928a4283e5ffc9ccbaba9822a89caf8f852933fd2e40a4140b192ccfab82e7934f9f03badc6e52f883135831c1c386c7bd84bf021c5a91bc8f1314feb10cd"
}