at.logic.gapt:gapt-examples_2.13 (maven): gapt-examples
Keywords: herbrand-disjunction|proof|proofs|sat-solver|scala|tactics|theorem-proving