José A. Alonso on Nostr: Readings shared November 19, 2024. ...
Readings shared November 19, 2024. https://jaalonso.github.io/vestigium/posts/2024/11/19-readings_shared_11-19-24 #ITP #Lean4 #Math #Haskell #FunctionalProgramming
José A. Alonso /
npub1pma…v8pw
2024-11-20 06:46:06
Author Public Key
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pwPublished at
2024-11-20 06:46:06Event JSON
{
"id": "e4617681548629da8d533429b3693cef172d5e347b4c7ff8ac5a71fee03d6268",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1732085166,
"kind": 1,
"tags": [
[
"t",
"functionalprogramming"
],
[
"t",
"haskell"
],
[
"t",
"math"
],
[
"t",
"Lean4"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113513933459592464",
"activitypub"
]
],
"content": "Readings shared November 19, 2024. https://jaalonso.github.io/vestigium/posts/2024/11/19-readings_shared_11-19-24 #ITP #Lean4 #Math #Haskell #FunctionalProgramming",
"sig": "ce5a7442fa6bd37b1f1bea890158bac3161aded58ec3957d973b6ffc2a753a9794bf4c7db631d868bc126187ff5cb3f90140b7353e96ff98861f54f9116583ac"
}