Event JSON
{
"id": "201d88ca7bbaf6f2b7c76b37f9fbdd5dbff24a7f9558d20eb149ad82400419e4",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1723626190,
"kind": 1,
"tags": [
[
"t",
"python"
],
[
"t",
"math"
],
[
"t",
"agda"
],
[
"t",
"coq"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/112959566045722757",
"activitypub"
]
],
"content": "Lecturas compartidas el 13 de agosto de 2024. https://jaalonso.github.io/vestigium/posts/2024/08/14-lecturas_compartidas_el_13-ago-24 #ITP #Coq #Agda #Math #Python",
"sig": "bc611ae233afb128823db34fdcda900264590e78453221e8ce1d3f6b344b243fd6474fb0a452534c89bb4153f661eb63acce8b4e2c35e596d701b292bd0d4825"
}
