Mulit-Strategy Tableau Prover Results
You can see XML files generated for representing the proof of problems
here.
Problems
You can see the text files generated for the problems
here.
Back to Adolfo Gustavo Serra Seca Neto's page