Quod Erat Demonstrandum
Discover the challenging fun of validating logical proofs, beginning with simple propositional calculus and ending with complex, multi-domain predicate calculus. Prove yourself to be a master of logical thinking!
The top results based on the latest update are Roses In Concrete [Score: 0.8], Number Fields [Score: 0.8] and Lines Go [Score: 0.7] The top rated games you can find here are Baba Is You [SteamPeek Rating: 9.2] ranked #10, Zup! S [SteamPeek Rating: 7.7] ranked #6 and Hexcells [SteamPeek Rating: 7.7] ranked #29 Also don't forget to check the newest releases U.V.S. Nirmana [Release date: 2026-05-04] ranked #8, Mate'Morphosis [Release date: 2026-01-09] ranked #28 and Compass & Straightedge [Release date: 2025-12-10] ranked #12 While it is tempting to play with the newest and the best, there might be some other gems in the results, like Pictopix [SteamPeek Rating: 7.0] ranked #26, Osmos [SteamPeek Rating: 5.6] ranked #27 and Hexcells [SteamPeek Rating: 7.7] ranked #29.
Discover the challenging fun of validating logical proofs, beginning with simple propositional calculus and ending with complex, multi-domain predicate calculus. Prove yourself to be a master of logical thinking!
Inspired by a famous poem from a legendary deceased American rapper, Roses In Concrete is an exercise in distilling a literary work into gameplay mechanics that reinforce its core message.
Number Fields is a logic game where players uncover tiles indicating the proximity of hidden bombs and treasures. Choose your difficulty, customize grid sizes, and enjoy. Provides a way to stay fully engaged while calming nervous energy discreetly.
Break free from conventional thinking and solve the "impossible" puzzle! This is a simple line-drawing game, until... Phenomena beyond your past experience emerge in this world. When faced with one "impossible" level after another, keep refining your understanding of the constant rules.
Color Patterns is a minimalist puzzle game inspired by the classic board game domino. Find the correct color patterns on the board.
"Swiss Alps Jigsaw Puzzles" is a captivating game that combines puzzle-solving with breathtaking Swiss Alpine landscapes. Challenge your mind, relax, and explore stunning vistas in this immersive experience.
Minimal physical puzzle with explosions
Develop magical programming abilities while building spells. Lambda Spellcrafting Academy is a card-based puzzle game where you build spells (programs) to solve puzzles. If you've ever wanted to dabble in spellcraft (programming) here is a fun way to get started.
U.V.S. Nirmana is a engineering puzzle game from Coincidence, the creators of Kaizen: A Factory Story and the inventors of the Zach-like. Set off on the Unreturning Void Ship Nirmana as it continues a journey of uncountable eons toward the edge of the universe.
Whether you’re a math enthusiast, a puzzle fanatic or just looking for a fun challenge, Dotu will keep you entertained for hours with its challenging puzzles! Are you ready to become a dot-solving mastermind?
Baba Is You is a puzzle game where the rules you have to follow are present as blocks you can interact with. By manipulating them, you can change how the game works, repurpose things you find in the levels and cause surprising interactions!
An endless, thought provoking, meditative Chess puzzler with a twist. Clear the board by chaining together moves.
A refreshing little game with blue-green as the main color. A game with the core gameplay of drawing with a ruler, involving conventional drawing, single ruler drawing, and single ruler drawing. The difficulty increases (slightly difficult), with tests of foundation, thinking, and even endurance.
Move walls, avoid danger in a labyrinthic poem, and create your own stories in this unique puzzle experience where each level is a poem's verse unraveling as you progress. Control not only your position but also move walls to create new paths and escape from seemingly impossible situations.
Blindfold Chess is a minimalist strategy game where you play chess entirely from memory. Practice with blindfold exercises, improve your visualization, and battle Stockfish AI or online players without ever seeing the board.
This game is very easy and very difficult. It is both simple and complex. It is a simple hardcore spatial logic puzzle game. NP->P? Find your way!
relax while organizing all the numerical grids solving countless mathematical problems in the minimalist world of GridMath.
Five tones. You listen. Then recreate each one from memory using a frequency slider. Or identify chords by ear — root note and quality. Most people think they have a good ear. Soundwave will prove otherwise. How close can you get?
Sliding Puzzle Deluxe The Classic is a game where you have to slide pieces around to get them in the right spot. If you have all pieces in the right spot, you complete the level!
Math Match Three is a Match Three game with math elements,Connect numbers with the same factors into three to pass the level.Continuously improve your mathematical skills during the clearance process!
A solitary abstract journey. Discover the rules and guide your steps in the grid to touch the triangle(light). ♦
Hex PiCross is a picross game built on a hexagonal grid with a beautiful minimalist design and a uniquely prepared soundscape. Click to color the hexagonal cells so that all columns and diagonals are zero.
PLAY MINE SWEEPING IN THE CUBE EXPANSION(JINGOR FACE)! RULE:In the jingor face, click the left mouse button to open the grid in sweeper mode, and to mark mines when switching to mine marking mode. Of particular interest is the mines on the other side of an edge in the jingor face.
Knotwords is a minimal and elegant logic puzzle — with words. Arrange each section so every word across and down is valid. It may look difficult at first, but you'll be surprised at how quickly you pick it up! This is the kind of game I've been trying to design my whole career — I hope you like it
Molecule Maker Lab is a puzzle game about chemicals with futuristic and minimalist themes. Rotate and arrange the atoms in the correct position until you form a beautiful molecule.
Stuck in the Sewers is a chill puzzle game about finding your way out in a maze of pipes.
Pictopix is a puzzle game where you use logic to color squares on grids in order to reveal pictures.
Enter the ambient world of Osmos: elegant, physics-based gameplay, dreamlike visuals, and a minimalist, electronic soundtrack. Your objective is to grow by absorbing other motes. Propel yourself by ejecting matter behind you. But be wise: ejecting matter also shrinks you. Relax - good things come to those who wait.
Mate'Morphosis is a pixel art, chess-inspired puzzle game built around the concept of becoming the piece you capture. Outsmart each board, adapt to evolving mechanics, and hunt down the rival king across every stage.
Hexcells is an ambient logic puzzle game for PC, Mac and Linux.
A minimalist sliding game in which you have to join the Yin and Yang.
Turn on the lights and light up your life! This game is a variation of the "Lights Out" games of the 90s. Each light you turn on changes the state of the adjacent lights. Can you turn on all the lights?
Re-Nullum is a minimalist puzzle game about combining numbers. On each level, you must clear the board by connecting numbered tiles.
Odd||Even is a math and logic based, integer placement puzzle game.
Regular Expressions (Regex) are a powerful text pattern-matching tool used for searching, replacing, and validating strings. The game wraps Regex into text-based puzzle, allowing players to gradually master regular expressions as they progress through levels.
In Cristmas With My Family you'll find jigsaw puzzle challenges that show you incredible moments I spent with my family.
Promote your game here: [email protected]