José A. Alonso on Nostr: Code with proofs: The Arena. https://tinyurl.com/23xrlngz #ITP #Lean4 ...
Published at
2024-11-16 07:54:08Event JSON
{
"id": "c07f30637516f1c99e30bba73a2738380f9be87446c2c08b856e42222dc5493f",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1731743648,
"kind": 1,
"tags": [
[
"t",
"functionalprogramming"
],
[
"t",
"Lean4"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113491551741904792",
"activitypub"
]
],
"content": "Code with proofs: The Arena. https://tinyurl.com/23xrlngz #ITP #Lean4 #FunctionalProgramming",
"sig": "fc6c0a48fa7c0693fefd6e576b72b344445ae4be4e61d1ed9970cec20e6b2c4f66471d0bd1b5bc9f190f2ce0ec43e170fca5974d871e5365c431f3f61be36158"
}
