pocket_prover-set (cargo): A base logical system for PocketProver to reason about set properties
Keywords: logic|solver|prover|first-order