pytableaux 1.2 documentation | source
Options
CPL
CFOL
K3
K3W
L3
LP
GO
FDE
K
D
T
S4
Lexicon
Predicates
Symbol Name Arity
Existence 1
Identity 2
Argument

Or, load example: