Dave Rahardja on Nostr: Wow, this is a really good collection of games, which teaches you formal math proof ...
Published at
2024-11-29 21:19:32Event JSON
{
"id": "743dcc33c5920b31fb222829cb8a0f6f5a023175d7fbc5e14b906f974214bfe2",
"pubkey": "8ca0240eaf6bc332736f59eb486087e2113d7b599910cea6bd90b6a21460134f",
"created_at": 1732915172,
"kind": 1,
"tags": [
[
"t",
"math"
],
[
"t",
"mathematics"
],
[
"t",
"games"
],
[
"proxy",
"https://sfba.social/users/drahardja/statuses/113568328760969212",
"activitypub"
]
],
"content": "Wow, this is a really good collection of games, which teaches you formal math proof concepts.\n\nHere’s one for natural numbers: https://adam.math.hhu.de/#/g/leanprover-community/nng4\n\n#math #mathematics #games",
"sig": "fe7fcaff6158d03261cc910555f9d836c7dd6d0b06c3fc02dbc3106e4676e1b72f6bb5f6cbaaa4471a9415ec194d028f01470e11c0353e6ea59b8b5ef7ffe797"
}
