There are 1 repositories under herbrand-disjunction topic.
GAPT: General Architecture for Proof Theory