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

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

indienova.com/game/deductum

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

indienova.com/game/perfect-crime

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

indienova.com/game/farm-together-2

放轻松 想待多久待多久！……在 Farm Together 2，即使你不在线，时间也会前进，所以你可以确定之后回来的时候有事可做

indienova.com/steam/game/1651290

你多久能到达终点？

indienova.com/game/star-archer

在星星淹没您之前，您能坚持多久？

indienova.com/game/pixicharm-flindlehop

看看你能坚持多久，直到森林把你拦下？

indienova.com/game/through-the-gates

你能坚持飞多久？测试你的反应能力，力争获得最高分！

indienova.com/game/im-frontline

在这场激烈的战场挑战中，你能生存多久并获得高分？