Proof System Diagrams

[vivekjoshy]

Is it possible to use this library to create Fitch-style natural deduction or semantic tableaux tree diagrams?

[evhub]

Not currently, no. You can print out theorems, but they'll just be formatted like a statement in first-order logic, not a tree diagram.