Geeks
RaoulSchaffranek
/
kore
The symbolic execution engine powering the K Framework
Primary Language
Haskell
Other
NOASSERTION
kore GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
Watchers
jhcloos