meancop (cargo): More efficient, albeit non-lean connection prover
Keywords: prover|first-order|logic