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