Utilities for describing derivation trees
Owned by David Pearce.
#10 in #describing
10KB 142 lines
Utilities for describing proof derivations.