SteamTexx
Deductum

nonpop · nonpop

Deductum

gameAppID 3862840Released
Release dateAug 5, 2025

Game Charts

Player statistics

Default: last 7 days, hourly. · Stale · Range: 6/20/2026, 5:40:44 AM - 8/17/2026, 2:37:44 PM

Current Players0
24h Peak0
All-Time Peak3
24h Player-Hours0 h

Player History

PeriodAvg. PlayersGain (total)Gain (%)Peak Players
Last 24 Hours000%0
Last 7 Days0-0.93-100%0
Last 30 Days0.570.011.71%3
Last 12 Months0.5600%3
2026-080.640.1324.64%3
2026-070.52-0.03-5.75%2
2026-060.5500%2

Details

Developernonpop
Publishernonpop
FreeNo
Required ageNone

Minimalistic puzzle game where you build formal logical proofs.

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!

Genres and categories

CasualIndieStrategySingle-playerSteam AchievementsCustom Volume ControlsMouse Only OptionPlayable without Timed InputTouch Only OptionSteam CloudFamily Sharing

Platforms and requirements

windows: yesmac: nolinux: yes
PC
{
  "minimum": "<strong>Minimum:</strong><br><ul class=\"bb_ul\"><li>Requires a 64-bit processor and operating system<br></li><li><strong>OS:</strong> 7<br></li><li><strong>Processor:</strong> x86-64<br></li><li><strong>Memory:</strong> 2 GB RAM<br></li><li><strong>Graphics:</strong> Full OpenGL 3.3 support or Direct3D 11 support<br></li><li><strong>DirectX:</strong> Version 11<br></li><li><strong>Storage:</strong> 200 MB available space</li></ul>",
  "recommended": "<strong>Recommended:</strong><br><ul class=\"bb_ul\"><li>Requires a 64-bit processor and operating system</li></ul>"
}
Mac
{
  "minimum": "<strong>Minimum:</strong><br><ul class=\"bb_ul\"></ul>",
  "recommended": "<strong>Recommended:</strong><br><ul class=\"bb_ul\"></ul>"
}
Linux
{
  "minimum": "<strong>Minimum:</strong><br><ul class=\"bb_ul\"><li><strong>OS:</strong> Released after 2016<br></li><li><strong>Processor:</strong> x86-64<br></li><li><strong>Memory:</strong> 2 GB RAM<br></li><li><strong>Graphics:</strong> Full OpenGL 3.3 support<br></li><li><strong>Storage:</strong> 200 MB available space</li></ul>",
  "recommended": "<strong>Recommended:</strong><br><ul class=\"bb_ul\"></ul>"
}

Ratings and content

dejus{"rating_generated":"1","rating":"l","required_age":"0","banned":"0","use_age_gate":"0","descriptors":""}
steam_germany{"rating_generated":"1","rating":"0","required_age":"0","banned":"0","use_age_gate":"0","descriptors":""}
igrs{"rating_generated":"1","rating":"3","required_age":"0","banned":"0","use_age_gate":"0","descriptors":""}

Selected change

Release date · Jul 3, 2026, 7:46 AM

Previous
{"coming_soon":false,"date":"Aug 5, 2025"}
Current
{"coming_soon":false,"date":"5 Aug, 2025"}
Show raw AppDetails
{
  "3862840": {
    "success": true,
    "data": {
      "type": "game",
      "name": "Deductum",
      "steam_appid": 3862840,
      "required_age": 0,
      "is_free": false,
      "detailed_description": "<p class=\"bb_paragraph\" >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 <strong>formally prove</strong>, step by step, that the conclusion follows.</p><p class=\"bb_paragraph\" >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!</p><ul class=\"bb_ul\"><li><p class=\"bb_paragraph\" >Simple controls. No timers. No distractions. Just logic.</p></li><li><p class=\"bb_paragraph\" >111 problems to solve, including classic theorems like De Morgan's Laws and the Law of the Excluded Middle</p></li><li><p class=\"bb_paragraph\" >Sandbox mode: enter any claim (with proposition symbols A–H) and see if you can prove it!</p></li></ul><p class=\"bb_paragraph\" ></p>",
      "about_the_game": "<p class=\"bb_paragraph\" >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 <strong>formally prove</strong>, step by step, that the conclusion follows.</p><p class=\"bb_paragraph\" >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!</p><ul class=\"bb_ul\"><li><p class=\"bb_paragraph\" >Simple controls. No timers. No distractions. Just logic.</p></li><li><p class=\"bb_paragraph\" >111 problems to solve, including classic theorems like De Morgan's Laws and the Law of the Excluded Middle</p></li><li><p class=\"bb_paragraph\" >Sandbox mode: enter any claim (with proposition symbols A–H) and see if you can prove it!</p></li></ul><p class=\"bb_paragraph\" ></p>",
      "short_description": "Minimalistic puzzle game where you build formal logical proofs.",
      "supported_languages": "English",
      "header_image": "https://shared.akamai.steamstatic.com/store_item_assets/steam/apps/3862840/594c5a76d7012a5c2b5dc1a323c475fdb3fe72b2/header.jpg?t=1767372396",
      "capsule_image": "https://shared.akamai.steamstatic.com/store_item_assets/steam/apps/3862840/0ca004a580b2b8ca7ccf885938cb225b89b5ad7e/capsule_231x87.jpg?t=1767372396",
      "capsule_imagev5": "https://shared.akamai.steamstatic.com/store_item_assets/steam/apps/3862840/0ca004a580b2b8ca7ccf885938cb225b89b5ad7e/capsule_184x69.jpg?t=1767372396",
      "website": null,
      "pc_requirements": {
        "minimum": "<strong>Minimum:</strong><br><ul class=\"bb_ul\"><li>Requires a 64-bit processor and operating system<br></li><li><strong>OS:</strong> 7<br></li><li><strong>Processor:</strong> x86-64<br></li><li><strong>Memory:</strong> 2 GB RAM<br></li><li><strong>Graphics:</strong> Full OpenGL 3.3 support or Direct3D 11 support<br></li><li><strong>DirectX:</strong> Version 11<br></li><li><strong>Storage:</strong> 200 MB available space</li></ul>",
        "recommended": "<strong>Recommended:</strong><br><ul class=\"bb_ul\"><li>Requires a 64-bit processor and operating system</li></ul>"
      },
      "mac_requirements": {
        "minimum": "<strong>Minimum:</strong><br><ul class=\"bb_ul\"></ul>",
        "recommended": "<strong>Recommended:</strong><br><ul class=\"bb_ul\"></ul>"
      },
      "linux_requirements": {
        "minimum": "<strong>Minimum:</strong><br><ul class=\"bb_ul\"><li><strong>OS:</strong> Released after 2016<br></li><li><strong>Processor:</strong> x86-64<br></li><li><strong>Memory:</strong> 2 GB RAM<br></li><li><strong>Graphics:</strong> Full OpenGL 3.3 support<br></li><li><strong>Storage:</strong> 200 MB available space</li></ul>",
        "recommended": "<strong>Recommended:</strong><br><ul class=\"bb_ul\"></ul>"
      },
      "developers": [
        "nonpop"
      ],
      "publishers": [
        "nonpop"
      ],
      "demos": [
        {
          "appid": 3889590,
          "description": ""
        }
      ],
      "price_overview": {
        "currency": "EUR",
        "initial": 499,
        "final": 124,
        "discount_percent": 75,
        "initial_formatted": "4,99€",
        "final_formatted": "1,24€"
      },
      "packages": [
        1358057
      ],
      "package_groups": [
        {
          "name": "default",
          "title": "Buy Deductum",
          "description": "",
          "selection_text": "Select a purchase option",
          "save_text": "",
          "display_type": 0,
          "is_recurring_subscription": "false",
          "subs": [
            {
              "packageid": 1358057,
              "percent_savings_text": "-75% ",
              "percent_savings": 0,
              "option_text": "Deductum - <span class=\"discount_original_price\">4,99€</span> 1,24€",
              "option_description": "",
              "can_get_free_license": "0",
              "is_free_license": false,
              "price_in_cents_with_discount": 124
            }
          ]
        }
      ],
      "platforms": {
        "windows": true,
        "mac": false,
        "linux": true
      },
      "categories": [
        {
          "id": 2,
          "description": "Single-player"
        },
        {
          "id": 22,
          "description": "Steam Achievements"
        },
        {
          "id": 68,
          "description": "Custom Volume Controls"
        },
        {
          "id": 76,
          "description": "Mouse Only Option"
        },
        {
          "id": 74,
          "description": "Playable without Timed Input"
        },
        {
          "id": 77,
          "description": "Touch Only Option"
        },
        {
          "id": 23,
          "description": "Steam Cloud"
        },
        {
          "id": 62,
          "description": "Family Sharing"
        }
      ],
      "genres": [
        {
          "id": "4",
          "description": "Casual"
        },
        {
          "id": "23",
          "description": "Indie"
        },
        {
          "id": "2",
          "description": "Strategy"
        }
      ],
      "screenshots": [
        {
          "id": 0,
          "path_thumbnail": "https://shared.akamai.steamstatic.com/store_item_assets/steam/apps/3862840/092b418310a052d96f2f61d6fd773a0eca37c5cf/ss_092b418310a052d96f2f61d6fd773a0eca37c5cf.600x338.jpg?t=1767372396",
          "path_full": "https://shared.akamai.steamstatic.com/store_item_assets/steam/apps/3862840/092b418310a052d96f2f61d6fd773a0eca37c5cf/ss_092b418310a052d96f2f61d6fd773a0eca37c5cf.1920x1080.jpg?t=1767372396"
        },
        {
          "id": 1,
          "path_thumbnail": "https://shared.akamai.steamstatic.com/store_item_assets/steam/apps/3862840/dc1e3cace9a5455d97c9f4036b472e2e127edc88/ss_dc1e3cace9a5455d97c9f4036b472e2e127edc88.600x338.jpg?t=1767372396",
          "path_full": "https://shared.akamai.steamstatic.com/store_item_assets/steam/apps/3862840/dc1e3cace9a5455d97c9f4036b472e2e127edc88/ss_dc1e3cace9a5455d97c9f4036b472e2e127edc88.1920x1080.jpg?t=1767372396"
        },
        {
          "id": 2,
          "path_thumbnail": "https://shared.akamai.steamstatic.com/store_item_assets/steam/apps/3862840/3386434d75e875e593555f504ffd389daa61b1af/ss_3386434d75e875e593555f504ffd389daa61b1af.600x338.jpg?t=1767372396",
          "path_full": "https://shared.akamai.steamstatic.com/store_item_assets/steam/apps/3862840/3386434d75e875e593555f504ffd389daa61b1af/ss_3386434d75e875e593555f504ffd389daa61b1af.1920x1080.jpg?t=1767372396"
        },
        {
          "id": 3,
          "path_thumbnail": "https://shared.akamai.steamstatic.com/store_item_assets/steam/apps/3862840/cf7b4406f109d455cd319c699186cfddd50e1374/ss_cf7b4406f109d455cd319c699186cfddd50e1374.600x338.jpg?t=1767372396",
          "path_full": "https://shared.akamai.steamstatic.com/store_item_assets/steam/apps/3862840/cf7b4406f109d455cd319c699186cfddd50e1374/ss_cf7b4406f109d455cd319c699186cfddd50e1374.1920x1080.jpg?t=1767372396"
        },
        {
          "id": 4,
          "path_thumbnail": "https://shared.akamai.steamstatic.com/store_item_assets/steam/apps/3862840/a81585181c68bb559e21953b36fb1d6e1b9b440e/ss_a81585181c68bb559e21953b36fb1d6e1b9b440e.600x338.jpg?t=1767372396",
          "path_full": "https://shared.akamai.steamstatic.com/store_item_assets/steam/apps/3862840/a81585181c68bb559e21953b36fb1d6e1b9b440e/ss_a81585181c68bb559e21953b36fb1d6e1b9b440e.1920x1080.jpg?t=1767372396"
        }
      ],
      "movies": [
        {
          "id": 257167759,
          "name": "Gameplap",
          "thumbnail": "https://shared.akamai.steamstatic.com/store_item_assets/steam/apps/257167759/7f7fa7197aebb4c11a58ebb20167f8bff70faec7/movie_600x337.jpg?t=1752778435",
          "dash_av1": "https://video.akamai.steamstatic.com/store_trailers/3862840/2046205966/fa58dd063ef1c3389098f2c4fabc31db640708e2/1752237130/dash_av1.mpd?t=1752778435",
          "dash_h264": "https://video.akamai.steamstatic.com/store_trailers/3862840/2046205966/fa58dd063ef1c3389098f2c4fabc31db640708e2/1752237130/dash_h264.mpd?t=1752778435",
          "hls_h264": "https://video.akamai.steamstatic.com/store_trailers/3862840/2046205966/fa58dd063ef1c3389098f2c4fabc31db640708e2/1752237130/hls_264_master.m3u8?t=1752778435",
          "highlight": true
        }
      ],
      "achievements": {
        "total": 8,
        "highlighted": [
          {
            "icon": "28fca9d8a4129ef6d7f3bee761816205b0654ae1.jpg",
            "localized_name": "Conjoiner",
            "name": "Conjoiner",
            "path": "https://shared.akamai.steamstatic.com/community_assets/images/apps/3862840/28fca9d8a4129ef6d7f3bee761816205b0654ae1.jpg"
          },
          {
            "icon": "ba37889fbcd82b1199b2df950d175b2bfa6cc96c.jpg",
            "localized_name": "Implier",
            "name": "Implier",
            "path": "https://shared.akamai.steamstatic.com/community_assets/images/apps/3862840/ba37889fbcd82b1199b2df950d175b2bfa6cc96c.jpg"
          },
          {
            "icon": "839c20de2d3e9cf706fa10abbd906f59c9f7dcee.jpg",
            "localized_name": "Disjoiner",
            "name": "Disjoiner",
            "path": "https://shared.akamai.steamstatic.com/community_assets/images/apps/3862840/839c20de2d3e9cf706fa10abbd906f59c9f7dcee.jpg"
          },
          {
            "icon": "6ad5ea763666a40e86569f3553917fc0eaaa63a1.jpg",
            "localized_name": "Negater",
            "name": "Negater",
            "path": "https://shared.akamai.steamstatic.com/community_assets/images/apps/3862840/6ad5ea763666a40e86569f3553917fc0eaaa63a1.jpg"
          },
          {
            "icon": "1a183315ef96f7a850d80da8ba2071e3b4f32af7.jpg",
            "localized_name": "Bachelor",
            "name": "Bachelor",
            "path": "https://shared.akamai.steamstatic.com/community_assets/images/apps/3862840/1a183315ef96f7a850d80da8ba2071e3b4f32af7.jpg"
          },
          {
            "icon": "e8180bbbff96cfe2757a1ebfa5572737a14f324f.jpg",
            "localized_name": "Master",
            "name": "Master",
            "path": "https://shared.akamai.steamstatic.com/community_assets/images/apps/3862840/e8180bbbff96cfe2757a1ebfa5572737a14f324f.jpg"
          },
          {
            "icon": "8e339be9bf56f98b4dc1bae66b2eaa18f49c4868.jpg",
            "localized_name": "Doctor",
            "name": "Doctor",
            "path": "https://shared.akamai.steamstatic.com/community_assets/images/apps/3862840/8e339be9bf56f98b4dc1bae66b2eaa18f49c4868.jpg"
          },
          {
            "icon": "c48c53a8a9ed9eb9f92a4c7e165cf46d3f6be55c.jpg",
            "localized_name": "Professor",
            "name": "Professor",
            "path": "https://shared.akamai.steamstatic.com/community_assets/images/apps/3862840/c48c53a8a9ed9eb9f92a4c7e165cf46d3f6be55c.jpg"
          }
        ]
      },
      "release_date": {
        "coming_soon": false,
        "date": "5 Aug, 2025"
      },
      "support_info": {
        "url": "",
        "email": "nonpopgames@gmail.com"
      },
      "background": "https://store.akamai.steamstatic.com/images/storepagebackground/app/3862840?t=1767372396",
      "background_raw": "https://shared.akamai.steamstatic.com/store_item_assets/steam/apps/3862840/111b0c44c5ace90fe7b979b87a7e101651dd078e/page_bg_raw.jpg?t=1767372396",
      "content_descriptors": {
        "ids": [],
        "notes": null
      },
      "ratings": {
        "dejus": {
          "rating_generated": "1",
          "rating": "l",
          "required_age": "0",
          "banned": "0",
          "use_age_gate": "0",
          "descriptors": ""
        },
        "steam_germany": {
          "rating_generated": "1",
          "rating": "0",
          "required_age": "0",
          "banned": "0",
          "use_age_gate": "0",
          "descriptors": ""
        },
        "igrs": {
          "rating_generated": "1",
          "rating": "3",
          "required_age": "0",
          "banned": "0",
          "use_age_gate": "0",
          "descriptors": ""
        }
      }
    }
  }
}