José A. Alonso on Nostr: Readings Shared August 13, 2024. #ITP #Coq #Agda #Math #Python
Readings Shared August 13, 2024. https://jaalonso.github.io/vestigium/posts/2024/08/14-lecturas_compartidas_el_13-ago-24 #ITP #Coq #Agda #Math #Python
José A. Alonso /
npub1pm…nv8pw
2024-08-14 09:31:49
Author Public Key
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pwPublished at
2024-08-14 09:31:49Event JSON
{
"id": "ea38b613f266d2b6264eaa1c5d25dedd6d9a6ddf1e462a45cb82321ebcf369b5",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1723627909,
"kind": 1,
"tags": [
[
"t",
"python"
],
[
"t",
"math"
],
[
"t",
"agda"
],
[
"t",
"coq"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/112959678703881742",
"activitypub"
]
],
"content": "Readings Shared August 13, 2024. https://jaalonso.github.io/vestigium/posts/2024/08/14-lecturas_compartidas_el_13-ago-24 #ITP #Coq #Agda #Math #Python",
"sig": "5ed177f821c7affd84b0bc1def87e9cfc63abe4c7792c6dda2cf49af9c95431a321feaf370a7eed085e102e68d19cf506be9715e76c1383cfe7cce2a79a7c411"
}