herbrand-disjunction topic
List
herbrand-disjunction repositories
gapt
91
Stars
18
Forks
Watchers
GAPT: General Architecture for Proof Theory
