Minimalistic puzzle game where you build formal logical proofs.
Release Date:
August 2025
Developer:
Publisher:
Screenshot #1
Screenshot #2
Screenshot #3
Screenshot #4
Screenshot #5

Sign in to add this item to your wishlist, follow it, or mark it as ignored

This game is not yet available on Steam

Planned Release Date: August 2025

Interested?
Add to your wishlist and get notified when it becomes available.
Add to your wishlist
 

About This Game

In this minimalistic puzzle game, you're given a set of premises and a conclusion, and your task is to use the fundamental rules of logic to formally prove, step by step, that the conclusion follows.

Tutorials introduce you to the world of proofs and the game mechanics. The early problems are simple, but the difficulty gradually increases until eventually you might not even know where to begin. Still, every problem has a solution, and if you think deeply enough, you'll never need to guess!

  • Simple controls. No timers. No distractions. Just logic.

  • 111 problems to solve, including classic theorems like De Morgan's Laws and the Law of the Excluded Middle

  • Sandbox mode: enter any claim (with proposition symbols A–H) and see if you can prove it!

System Requirements

Windows
SteamOS + Linux
    Minimum:
    • Requires a 64-bit processor and operating system
    • OS: 7
    • Processor: x86-64
    • Memory: 2 GB RAM
    • Graphics: Full OpenGL 3.3 support or Direct3D 11 support
    • DirectX: Version 11
    • Storage: 200 MB available space
    Recommended:
    • Requires a 64-bit processor and operating system
    Minimum:
    • OS: Released after 2016
    • Processor: x86-64
    • Memory: 2 GB RAM
    • Graphics: Full OpenGL 3.3 support
    • Storage: 200 MB available space
    Recommended:
    There are no reviews for this product

    You can write your own review for this product to share your experience with the community. Use the area above the purchase buttons on this page to write your review.