Event JSON
{
"id": "4304500af18546119971fc1ecfbe9684161d3e6ff3af76e20f3cbf6e3df3f781",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1727329858,
"kind": 1,
"tags": [
[
"t",
"functionalprogramming"
],
[
"t",
"haskell"
],
[
"t",
"Calculemus"
],
[
"t",
"math"
],
[
"t",
"IsabelleHOL"
],
[
"t",
"Lean4"
],
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113202289590265688",
"activitypub"
]
],
"content": "Readings shared September 25, 2024. https://jaalonso.github.io/vestigium/posts/2024/09/25-readings_shared_09-25-24 #ITP #LeanProver #Lean4 #IsabelleHOL #Math #Calculemus #Haskell #FunctionalProgramming",
"sig": "9a5791ad94c62e07514c74095f19cf6f32587a06869045912171c8befc5f027d14484a9663307b33c691ac07ade0eef82064f52463205e700b87e782aaaaa947"
}
