dev-racket/k-example
examples of using k theorem prover
Screenshots
-
k-example-9999doc
View 
Download 
Browse License: all-rights-reserved Overlay: racket-overlay -
k-example-0_p20220125~amd64 ~arm ~ppc ~ppc64 ~x86doc
View Download Browse License: all-rights-reserved Overlay: racket-overlay
USE Flags
doc
Global: Adds extra documentation (API, Javadoc, etc)