Dominoes on Acid-开源

【文件属性】：

文件名称：Dominoes on Acid-开源

文件大小：375KB

文件格式：JAR

更新时间：2024-05-16 18:52:43

开源软件

从表面上看，《多米诺骨牌》是多米诺骨牌的单人纸牌游戏变体，上面有怪异的彩色瓷砖。 但从更深层次上讲，它是自然推论的GUI。 每个完成的多米诺骨牌都等同于经典命题逻辑中的重言式证明。