José A. Alonso on Nostr: Readings shared January 15, 2025. ...
Readings shared January 15, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/15-readings_shared_01-15-25 #ITP #LeanProver #Logic #Math #CompSci #FunctionalProgramming #Haskell
José A. Alonso /
npub1pma…v8pw
2025-01-16 07:46:12
Author Public Key
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pwPublished at
2025-01-16 07:46:12Event JSON
{
"id": "b1050398718ca5c6a76af5b1def1840b00002f8cffa6b5ab861de1998601aa9f",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1737013572,
"kind": 1,
"tags": [
[
"t",
"haskell"
],
[
"t",
"functionalprogramming"
],
[
"t",
"compsci"
],
[
"t",
"math"
],
[
"t",
"logic"
],
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113836921468213354",
"activitypub"
]
],
"content": "Readings shared January 15, 2025. https://jaalonso.github.io/vestigium/posts/2025/01/15-readings_shared_01-15-25 #ITP #LeanProver #Logic #Math #CompSci #FunctionalProgramming #Haskell",
"sig": "33eb3a90f2ba21f4467d0cd70c285d878d208d2372724fa2549bb5357ed0a8a84f30d661c96fd270353ca9eece2b39801efc3aaa331115f4c3156afa3e55d560"
}