Event JSON
{
"id": "a6e63ff878b810251cb3bbb89241c6ec13b683e79824ea4ca17bf3c8335bbd1d",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1749633034,
"kind": 1,
"tags": [
[
"t",
"prover9"
],
[
"t",
"math"
],
[
"t",
"leanprover"
],
[
"t",
"LLMs"
],
[
"t",
"IsabelleHOL"
],
[
"t",
"itp"
],
[
"t",
"emacs"
],
[
"t",
"alphaproof"
],
[
"t",
"atp"
],
[
"t",
"aiformath"
],
[
"t",
"ai"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/114663950575617949",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"content": "Readings shared June 10, 2025. https://jaalonso.github.io/vestigium/posts/2025/06/11-readings_shared_06-10-25 #AI #AIforMath #ATP #AlphaProof #Emacs #ITP #IsabelleHOL #LLMs #LeanProver #Math #Prover9",
"sig": "1ffbf7967ca35ce0c929827d8999b1ef42b49bc895bb7de9388824bc81c804fe56704ac6ae0b2a9ed855e0fc1e5df11283cba60c43b2c929b907673bcfdb0651"
}
