herbrand-disjunction

There are 0 repository under herbrand-disjunction topic.

gapt / gapt
GAPT: General Architecture for Proof Theory
proofs herbrand-disjunction scala theorem-proving sat-solver tactics proof
Language:Scala 91