Event JSON
{
"id": "1c3fa5d7ca492c571a17d7838067ad5dc941d2a50a38bbfea170b8436f56c1ab",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1723205106,
"kind": 1,
"tags": [
[
"t",
"deeplearning"
],
[
"t",
"math"
],
[
"t",
"IsabelleHOL"
],
[
"t",
"Lean4"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/112931969835268641",
"activitypub"
]
],
"content": "Lecturas compartidas el 8 de agosto de 2024. https://jaalonso.github.io/vestigium/posts/2024/08/09-lecturas_compartidas_el_08-ago-24 #ITP #Lean4 #IsabelleHOL #Math #DeepLearning",
"sig": "69dbea57cce04d6a0f114a549d5b6d999b1f77371f19b2ab785336fac60df95026aca9f57d4b1e793d68daf200c6eb3ef5ab7346a4958c0dba0f050880b5b7b6"
}
