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