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 Number Fields [Score: 0.8], Lines Go [Score: 0.8] and Color Patterns [Score: 0.7] The top rated games you can find here are Baba Is You [SteamPeek Rating: 9.2] ranked #9, Zup! S [SteamPeek Rating: 7.7] ranked #5 and Hexcells [SteamPeek Rating: 7.7] ranked #24 Also don't forget to check the newest releases U.V.S. Nirmana [Release date: 2026-05-04] ranked #7, Mate'Morphosis [Release date: 2026-01-09] ranked #22 and Compass & Straightedge [Release date: 2025-12-10] ranked #11 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 #21, Hexcells [SteamPeek Rating: 7.7] ranked #24 and SpaceChem [SteamPeek Rating: 7.2] ranked #26.
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!
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.
relax while organizing all the numerical grids solving countless mathematical problems in the minimalist world of GridMath.
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!
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.
A solitary abstract journey. Discover the rules and guide your steps in the grid to touch the triangle(light). ♦
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.
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.
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.
Pictopix is a puzzle game where you use logic to color squares on grids in order to reveal pictures.
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.
A minimalist sliding game in which you have to join the Yin and Yang.
Hexcells is an ambient logic puzzle game for PC, Mac and Linux.
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?
Zachtronics is back with an ambitious new design-based puzzle game. Take on the role of a Reactor Engineer working for SpaceChem, the leading chemical synthesizer for frontier colonies. Construct elaborate factories to transform raw materials into valuable chemical products!
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.
Hexcells Plus is an ambient logic puzzle game for PC, Mac and Linux.
Assign, undo, deduce! Solve a series of minimalist number puzzles. Use constraints to assign numbers to the correct stips. Navigate the interconnected puzzles to uncover secrets. Please ignore any odd Stip behavior.
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.
Graviter is a real-world-physics-based game about manipulating gravitational forces. Shrink and enlarge bodies, and move them around to find your way through over a hundred different levels of varying complexity.
Which YouTube video is more popular or engaging? Pick a topic and guess which of two YouTube videos has more views or more comments. Test your social media skills: How many can you get right?
Promote your game here: [email protected]