All Categories → No Category → herbrand-disjunction

Top 1 herbrand-disjunction open source projects

GAPT: General Architecture for Proof Theory

✭ 83

scala assembly proof theorem-proving tactics sat-solver proofs herbrand-disjunction

1-1 of 1 herbrand-disjunction projects