返回游戏库
Deductum

Deductum

AppID: 3862840 可入库
支持语言 英语
平台 windows,linux
上传日期 2026-06-15
更新日期 2026-06-16
立即入库 访问 Steam 商店
游戏简介
Minimalistic puzzle game where you build formal logical proofs.