Module tableau
Classes
Agenda
Categories
Debug
ProverParseError
TableauProver
TableauProverCommand
Functions
demo
tableau_test
testHigherOrderTableauProver
testTableauProver
Variables
APP
_counter
[
hide private
]