José A. Alonso on Nostr: Readings shared January 12, 2025. ...
Readings shared January 12, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/12-readings_shared_01-12-25 #ITP #Coq #Rocq #Math #HoTT #CommonLisp #LogicProgramming #Prolog #LPTP
José A. Alonso /
npub1pma…v8pw
2025-01-13 07:12:34
Author Public Key
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pwPublished at
2025-01-13 07:12:34Event JSON
{
"id": "83612d20ff1ed8d7398aa7848baa8e72c1144ecc4827e213cf2cfbd3c4383ac8",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1736752354,
"kind": 1,
"tags": [
[
"t",
"lptp"
],
[
"t",
"prolog"
],
[
"t",
"logicprogramming"
],
[
"t",
"commonlisp"
],
[
"t",
"hott"
],
[
"t",
"math"
],
[
"t",
"rocq"
],
[
"t",
"coq"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113819802330057233",
"activitypub"
]
],
"content": "Readings shared January 12, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/12-readings_shared_01-12-25 #ITP #Coq #Rocq #Math #HoTT #CommonLisp #LogicProgramming #Prolog #LPTP",
"sig": "289898be2620778e3feb3ca95379c924964c7c152cb15ac196465d16562ee0a4dfc792285bfaf7803d97ce686f0b7a3a411d2db54553e521954653d9e84267d4"
}