<Good First Issue />
/
Language
Project
Label
Sign in
Sign up
dannypsnl/k
k theorem prover
Racket
Stars 11
Forks 1
Watchers 11
Open issues 0
License Apache License 2.0
Details
仓库信息
Owner
dannypsnl
Homepage
https://pkgs.racket-lang.org/package/k
GitHub
https://github.com/dannypsnl/k
Last pushed
2022-08-16
Last updated
2025-12-13
Issues fetched at
—
Stats
Community at a glance
Loading...
Loading
--
Loading
--
Loading
--
Loading
--