Event JSON
{
"id": "8a4e8e4bc8b800d62caebe8127973d1110ad01956bfe2140d06067780c88778b",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1724046706,
"kind": 1,
"tags": [
[
"t",
"logicprogramming"
],
[
"t",
"prolog"
],
[
"t",
"math"
],
[
"t",
"functionalprogramming"
],
[
"t",
"Lean4"
],
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/112987124976509056",
"activitypub"
]
],
"content": "Readings shared August 18, 2024. https://jaalonso.github.io/vestigium/posts/2024/08/19-readings_shared_08-18-24/ #ITP #LeanProver #Lean4 #FunctionalProgramming #Math #Prolog #LogicProgramming",
"sig": "d91228848b6006cdf32019d8ca312b283abcc16b60350d5bb344c2fb9c6109e51cd8e971c6c819c3b8248391d9414b2ed87f307850cf0e7d25b1f92c6177518b"
}
