Sylvia Wenmackers 馃馃崁
boosted
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.