TUXDB - LINUX GAMING AGGREGATE
made by: NuSuey
NEWSFEED
GAMES
▪️CROWDFUNDING▪️COMMUNITY DEALS▪️STEAM DECK▪️CALENDAR
tuxdb.com logo
Support tuxDB on Patreon
Currently supported by 10 awesome people!

🌟 Special thanks to our amazing supporters:


✨ $10 Tier: [Geeks Love Detail]
🌈 $5 Tier: [Benedikt][David Martínez Martí]

Any feedback for tuxDB? Join us!

Steam ImageSteam ImageSteam ImageSteam Image
Deductum
nonpop Developer
nonpop Publisher
August 2025 Release
Game News Posts: 0
🎹🖱️Keyboard + Mouse
🕹️ Partial Controller Support
🎮 Full Controller Support

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!


MINIMAL SETUP
  • OS: Released after 2016
  • Processor: x86-64Memory: 2 GB RAM
  • Memory: 2 GB RAM
  • Graphics: Full OpenGL 3.3 support
  • Storage: 200 MB available space

GAMEBILLET

[ 6438 ]

8.27$ (17%)
8.39$ (16%)
6.61$ (17%)
20.72$ (17%)
13.25$ (12%)
16.97$ (15%)
33.17$ (17%)
16.18$ (19%)
41.47$ (17%)
49.77$ (17%)
16.79$ (16%)
24.87$ (17%)
8.27$ (17%)
49.77$ (17%)
13.34$ (11%)
17.59$ (12%)
41.47$ (17%)
17.75$ (11%)
24.87$ (17%)
19.59$ (22%)
5.27$ (12%)
4.95$ (17%)
44.45$ (11%)
5.03$ (16%)
24.87$ (17%)
15.11$ (24%)
12.42$ (17%)
20.99$ (16%)
8.85$ (11%)
16.79$ (16%)
GAMERSGATE

[ 2578 ]

3.0$ (50%)
8.49$ (58%)
0.85$ (91%)
1.5$ (75%)
1.7$ (91%)
8.1$ (73%)
0.49$ (75%)
5.0$ (75%)
5.1$ (87%)
1.53$ (83%)
2.55$ (87%)
2.55$ (87%)
4.25$ (83%)
0.43$ (91%)
3.4$ (83%)
3.4$ (91%)
1.91$ (87%)
0.75$ (85%)
2.55$ (87%)
0.89$ (87%)
1.28$ (91%)
30.0$ (50%)
3.0$ (80%)
0.94$ (81%)
5.74$ (62%)
0.9$ (91%)
4.4$ (78%)
0.56$ (81%)
7.75$ (75%)
0.85$ (91%)
MacGamestore

[ 4126 ]

49.99$ (17%)
1.24$ (75%)
0.99$ (75%)
7.49$ (50%)
1.99$ (87%)
1.19$ (88%)
1.04$ (85%)
43.99$ (27%)
0.99$ (75%)
1.09$ (84%)
1.28$ (87%)
1.49$ (94%)
1.19$ (76%)
3.39$ (66%)
42.49$ (15%)
5.99$ (80%)
21.99$ (12%)
5.99$ (85%)
2.49$ (88%)
3.99$ (80%)
1.19$ (76%)
53.99$ (10%)
1.99$ (89%)
0.99$ (80%)
3.49$ (65%)
1.39$ (91%)
1.19$ (88%)
1.19$ (76%)
8.99$ (10%)
1.99$ (80%)

FANATICAL BUNDLES

Time left:

356277 days, 8 hours, 29 minutes


Time left:

356277 days, 8 hours, 29 minutes


Time left:

12 days, 15 hours, 29 minutes


Time left:

4 days, 15 hours, 29 minutes


Time left:

9 days, 15 hours, 29 minutes


Time left:

11 days, 15 hours, 29 minutes


Time left:

16 days, 15 hours, 29 minutes


Time left:

26 days, 15 hours, 29 minutes


Time left:

48 days, 15 hours, 29 minutes


Time left:

8 days, 7 hours, 28 minutes


Time left:

30 days, 15 hours, 29 minutes


Time left:

31 days, 15 hours, 29 minutes


Time left:

53 days, 15 hours, 29 minutes


Time left:

33 days, 15 hours, 29 minutes


Time left:

34 days, 15 hours, 29 minutes


HUMBLE BUNDLES

Time left:

0 days, 9 hours, 29 minutes


Time left:

0 days, 9 hours, 29 minutes


Time left:

5 days, 9 hours, 29 minutes


Time left:

7 days, 9 hours, 29 minutes


Time left:

12 days, 9 hours, 29 minutes

by buying games/dlcs from affiliate links you are supporting tuxDB
🔴 LIVE