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