dev-racket/k
k theorem prover
Screenshots
-
k-9999doc
View 
Download 
Browse License: all-rights-reserved Overlay: racket-overlay -
k-0_p20220125~amd64 ~arm ~ppc ~ppc64 ~x86doc
View Download Browse License: all-rights-reserved Overlay: racket-overlay
Runtime Dependencies
k-9999
dev-racket/k-core
dev-racket/k-doc
dev-racket/k-example
dev-racket/k-lib
>=dev-scheme/racket-8.1:=[-minimal]
dev-racket/k-doc
dev-racket/k-example
dev-racket/k-lib
>=dev-scheme/racket-8.1:=[-minimal]
k-0_p20220125
dev-racket/k-core
dev-racket/k-doc
dev-racket/k-example
dev-racket/k-lib
>=dev-scheme/racket-8.1:=[-minimal]
dev-racket/k-doc
dev-racket/k-example
dev-racket/k-lib
>=dev-scheme/racket-8.1:=[-minimal]