Geeks
CYBAI
/
k
k theorem prover
Primary Language
Racket
Apache License 2.0
Apache-2.0
k Home Page
k GitHub
Markdown
Readme
0
Issues
1
Stargazer
1
Watcher
Watchers
eemailme