Data.Logic.ATP.Tableaux
prawitz
data
K
tab
testTableaux