indienova.com/game/prove-you-can-win

你可以在游戏中学习并理解全新的公理系统，然后以公理和推理规则作为工具，输入指令证明相应的命题。……游戏的主要体验包括 - 像阅读数学教材一样理解公理和推理规则- 像做数学题一样使用公理和推理规则，并以指令的形式输入证明步骤……，这包含了一些和核心玩法无关的工作量（技术水平所限）- 证明只能使用给定规则，不能跳出系统构建自定义推论

indienova.com/steam/game/698300

我们很高兴为你提供这样的一个全新类型的游戏，让你展示你的注意力，并证明你能够轻松地处理即使是最困难的任务……你还能在哪里能见到一些章鱼和卷心菜，或者蘑菇和锚？但这就是这游戏的本质。几个小时的快乐时间在等待你！

indienova.com/game/the-ultimate-fmv-bundle

游戏讲述一个数学专业的大学生——马特，莫名其妙被卷入一场拍卖所的盗窃中，并试图证明自己的清白。……他必须到遗忘之地去，在哪里他可以找回他那被压抑的记忆，以及关于地堡的黑暗真相

indienova.com/game/sacrifice-of-the-spirit

这个游戏的目的是让你反思人类及其行为，为此你将陷入一个超越现实和物理定律的可笑和充满敌意的宇宙，你的理智将被推到极限，你将需要证明你的救赎能力……不管你在哪里。你必须完成老人的任务才能在故事中取得进展，但这个挑战并不容易，你能克服吗？

indienova.com/game/perfect-crime

◎ 选择行动的地点和时间，利用人物的印象偏差来制造不在场证明。……每一项调查都会影响你的嫌疑值，比如你没有不在场证明，嫌疑值就会增大。……不在场证明：◎ 游戏中采用证人形式判断不在场证明

indienova.com/steam/game/898530

帮助你的女朋友证明她是这个城市中最酷最成功的女孩！……现在，她必须证明自己在没有家人帮助的情况下能够生活下去。……现在，她必须证明自己在没有家人帮助的情况下能够生活下去

indienova.com/game/the-ultimate-g

在这些残酷的水泥丛林街道上，需要真正的男人来证明自己。……扮演 THE ULTIMATE G 的角色，在这些街道上证明自己！

indienova.com/game/deductum

你的任务是运用基本的逻辑规则，逐步构建一个形式化的证明，以严谨地推导出结论成立。……教程引导你踏入证明的世界并掌握游戏机制。……其中包含经典逻辑定理，例如：德摩根定律排中律 沙盒模式：输入任意逻辑命题（使用命题符号 A–H），尝试证明它是否成立