pyLogika is an educational program collection for practising formal logic. Its exercises are on proposition, modal, and predicate logic, syllogisms, set theory, and relation properties. It also includes games such as Mill's Sluice and Popper's Minesweeper. It includes lessions on the Greek alphabet, and truth tables.
OneToFive is a mathematical puzzle game. The aim is to fill up the grid with numbers in the range 1 to 5 according to given combination constraints (one number pair, two pairs, three of a kind, straight, full house, four of a kind, five of a kind).