Event JSON
{
"id": "98a4e3b2ff1d5f4af2546c090353273187ff6823cf79435e163fe722eec1da4a",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1723724995,
"kind": 1,
"tags": [
[
"t",
"machinelearning"
],
[
"t",
"ai"
],
[
"t",
"math"
],
[
"t",
"IsabelleHOL"
],
[
"t",
"Lean4"
],
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/112966041318601023",
"activitypub"
]
],
"content": "Readings shared August 14, 2024. https://jaalonso.github.io/vestigium/posts/2024/08/15-readings_shared_08-14-24/ #ITP #LeanProver #Lean4 #IsabelleHOL #Math #AI #MachineLearning",
"sig": "50427d03c5d52afb860be21b68ff424383fc70771b411ab0202c1a6cc29800fc4fdc6323ac2a39cceb5e81099ea4b474ca79020d203a8350dcc41673e91a280a"
}
