José A. Alonso on Nostr: Readings shared August 17, 2024. #ITP #LeanProver #Lean4 #Math #AI
Readings shared August 17, 2024. https://jaalonso.github.io/vestigium/posts/2024/08/18-readings_shared_08-17-24/ #ITP #LeanProver #Lean4 #Math #AI
José A. Alonso /
npub1pm…nv8pw
2024-08-18 06:58:54
Author Public Key
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pwPublished at
2024-08-18 06:58:54Event JSON
{
"id": "076d9b13894ffa47bacb9000006dc462a8ba0a1afac6cb24e30a8baa332b64f7",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1723964334,
"kind": 1,
"tags": [
[
"t",
"ai"
],
[
"t",
"math"
],
[
"t",
"Lean4"
],
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/112981726620560111",
"activitypub"
]
],
"content": "Readings shared August 17, 2024. https://jaalonso.github.io/vestigium/posts/2024/08/18-readings_shared_08-17-24/ #ITP #LeanProver #Lean4 #Math #AI",
"sig": "6fb4727be5543f8b7b7faa98e4c37a2018e89e7985fad436584b5dbd0173932930fa83c9f8ac4cbfeff0b059fdb00c6ba2396ab9f0ddfd02ad590632b0e25ea7"
}