ap
Trait characterising provers, which receive some problem (e.g., from a file) and try to construct a proof, a countermodel, or interpolants
Trait characterising provers, which receive some problem (e.g., from a file) and try to construct a proof, a countermodel, or interpolants