Module tableau
Classes
Agenda
Categories
ProverParseError
Tableau
Functions
_attempt_proof
_attempt_proof_all
_attempt_proof_and
_attempt_proof_atom
_attempt_proof_d_neg
_attempt_proof_eq
_attempt_proof_iff
_attempt_proof_imp
_attempt_proof_n_all
_attempt_proof_n_and
_attempt_proof_n_atom
_attempt_proof_n_eq
_attempt_proof_n_iff
_attempt_proof_n_imp
_attempt_proof_n_or
_attempt_proof_n_some
_attempt_proof_or
_attempt_proof_some
debug_line
tableau_test
testTableau
[
hide private
]