Event JSON
{
"id": "9cee5a1cb275b6808bcfe42efa6f363677dcffdd25b07f10ec451ddf445e30aa",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1723290944,
"kind": 1,
"tags": [
[
"t",
"ia"
],
[
"t",
"functionalprogramming"
],
[
"t",
"haskell"
],
[
"t",
"math"
],
[
"t",
"coq"
],
[
"t",
"hol4"
],
[
"t",
"leanprover"
],
[
"t",
"IsabelleHOL"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/112937595330087218",
"activitypub"
]
],
"content": "Lecturas compartidas el 9 de agosto de 2024. https://jaalonso.github.io/vestigium/posts/2024/08/10-lecturas_compartidas_el_09-ago-24 #ITP #IsabelleHOL #LeanProver #HOL4 #Coq #Math #Haskell #FunctionalProgramming #IA",
"sig": "e8231d9816653eb8ec88d0be8ac34c8f725636a69352608697ce94f8d3aec5e87f87ba3c48711665fb247d974d647d0cad074b5ef79208c006e92a3e95341032"
}
