least-fixpoint games
Indie games by a logician — math magician ;)
I work professionally in theoretical computer science. In my spare time I develop indie games.
Expect unusual mechanics, puzzles, and mathematically inspired ideas — made to be played, not studied.
The games are written bottom-up by myself: writing the engine is a big part of the fun, right? :)