k-example (racket): examples of using k theorem prover
Keywords: examples|racket|theorem-prover