core of k theorem prover | |
https://github.com/racket-tw/k | |
k-core-9999 | all-rights-reserved |
download | racket-overlay |
k-core-0_p20240109 | all-rights-reserved |
download~amd64 ~arm ~ppc ~ppc64 ~x86 | racket-overlay |
k-core-0_p20220816 | all-rights-reserved |
download~amd64 ~arm ~ppc ~ppc64 ~x86 | racket-overlay |