k-core (racket): core of k theorem prover
Keywords: proofs|racket|theorem-prover