gentoo.mahdi.cz

  

dev-racket:k


k theorem prover
https://github.com/racket-tw/k

k-9999all-rights-reserved
downloadracket-overlay
k-0_p20220125all-rights-reserved
download~amd64 ~arm ~ppc ~ppc64 ~x86racket-overlay