Event JSON
{
"id": "565af66363f389d794ca118141be5048eab29aa43b3ea7708b925d74da845727",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1732863107,
"kind": 1,
"tags": [
[
"t",
"functionalprogramming"
],
[
"t",
"haskell"
],
[
"t",
"math"
],
[
"t",
"logic"
],
[
"t",
"IsabelleHOL"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113564916596811440",
"activitypub"
]
],
"content": "Readings shared November 28, 2024. https://jaalonso.github.io/vestigium/posts/2024/11/28-readings_shared_11-28-24 #ITP #IsabelleHOL #Logic #Math #Haskell #FunctionalProgramming",
"sig": "bfa4870e831ec8e9f91de17e58330c2efbc0d06334d7bb70785561022313feb18df57462d830837d007a8be85b501395fb826984af4cb04defdcff0cf703341e"
}
