satore (racket): First order logic theorem prover in CNF without equality but with atom rewrite rules
Keywords: logic