pocket_prover-derive (cargo): Derive procedural macros for `pocket_prover`.
Keywords: first-order|logic|solver|prover