Sharing a Wordle-like game where you have to guess a Kripke model: https://www.cannorin.net/kripke
Made by a friend doing his PhD in Kobe University and doing very cool things on provability logics.
#logic #wordle
Leonardo Pacheco /
npub1zp…hqaf6
2025-05-09 01:00:37
Author Public Key
npub1zpr06w0jzgjjqsk3xhjya2zw870gdz2vsq6gtltma8sg64972zlsshqaf6Published at
2025-05-09 01:00:37Event JSON
{
"id": "d94573978d2dd9239654d2f8fd9e89ec276cede49c275bf27f6d27277ed91ed4",
"pubkey": "1046fd39f212252042d135e44ea84e3f9e86894c803485fd7be9e08d54be50bf",
"created_at": 1746752437,
"kind": 1,
"tags": [
[
"t",
"Wordle"
],
[
"t",
"logic"
],
[
"proxy",
"https://mathstodon.xyz/users/leonardopacheco/statuses/114475167733980287",
"activitypub"
],
[
"client",
"Mostr",
"31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
"wss://relay.mostr.pub"
]
],
"content": "Sharing a Wordle-like game where you have to guess a Kripke model: https://www.cannorin.net/kripke\nMade by a friend doing his PhD in Kobe University and doing very cool things on provability logics.\n\n#logic #wordle",
"sig": "994049fd84ef1286a16bebbcd2953e2551bda43cb85c34fb2793060ee8d16a256ac296279d97efdbabb1c397fc323a268b15d11344372f3a4a6e284b9317f23e"
}