schwering/limbo
Sam Hart
Info

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

Connections