Geeks
hrb90
/
kripke
Kripke semantics
Primary Language
PureScript
kripke GitHub
Markdown
Readme
0
Issues
4
Stargazers
2
Watchers
Watchers
hrb90
Washington, DC
jhcloos