k-doc (racket): documentation of k theorem prover
Keywords: docs|racket|theorem-prover