dev-racket/k-core
core of k theorem prover
Screenshots
-
k-core-9999doc
View 
Download 
Browse License: all-rights-reserved Overlay: racket-overlay -
k-core-0_p20240109~amd64 ~arm ~ppc ~ppc64 ~x86doc
View Download Browse License: all-rights-reserved Overlay: racket-overlay
Reverse Dependencies
Reverse dependancies are sometimes conditional based on your USE flags, Ebuild version and sometimes other packages. please keep this in mind.