Search * AND organization:gapt

1 results

Contributing Search

Filters

Languages

Scala 3.x (1)

Platforms

JVM (1)

Topics

herbrand-disjunction (1)
proof (1)
proofs (1)
sat-solver (1)
scala (1)
tactics (1)
theorem-proving (1)

gapt/gapt 2.18.1

GAPT: General Architecture for Proof Theory

Scala versions: 3.x

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

100 24