Event JSON
{
"id": "04bc52ebcca29d0b4c2d7690d9104ebfe71a9af2b7f6d9c1ee7383fe5e2acdd5",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1724145623,
"kind": 1,
"tags": [
[
"t",
"Calculemus"
],
[
"t",
"math"
],
[
"t",
"IsabelleHOL"
],
[
"t",
"Lean4"
],
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/112993607551593659",
"activitypub"
]
],
"content": "Readings shared August 18, 2024. https://jaalonso.github.io/vestigium/posts/2024/08/20-readings_shared_08-19-24/ #ITP #LeanProver #Lean4 #IsabelleHOL #Math #Calculemus",
"sig": "7c3609c105c3a4427610952cf871efc03452552d3e2272080765efde17478eba1046a3d46ddbfbc1c7585c5e4559faac071dfdc18a94f794235649af2b9d90bb"
}
