schwering/limbo

limbo - A Reasoning System for a First-Order Logic of Limited Belief

Sam Hart
Source: schwering/limbo
Actions
Connections