José A. Alonso on Nostr: Game "An introduction to constructive logic". ~ Mark Fischer et als. ...
Game "An introduction to constructive logic". ~ Mark Fischer et als. https://adam.math.hhu.de/#/g/trequetrum/lean4game-logic #ITP #LeanProver #Logic
José A. Alonso /
npub1pma…v8pw
2025-01-16 09:07:21
Author Public Key
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pwPublished at
2025-01-16 09:07:21Event JSON
{
"id": "df1836ef7b9c68ed8e73f2ee85aed558bbe15378f61ee2d25af7c65ad92732ad",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1737018441,
"kind": 1,
"tags": [
[
"t",
"logic"
],
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113837240550320339",
"activitypub"
]
],
"content": "Game \"An introduction to constructive logic\". ~ Mark Fischer et als. https://adam.math.hhu.de/#/g/trequetrum/lean4game-logic #ITP #LeanProver #Logic",
"sig": "96314442eb3205e51a31c5cf700c242c20ef364b73519d8806cc2533dd86f198bb502212ab9196884348228be1ced84e63b482b04fe53593febadaf875a14114"
}