Geeks
zkincaid
/
srk
Symbolic Reasoning Kit
Primary Language
OCaml
srk GitHub
Markdown
Readme
1
Issue
8
Stargazers
2
Watchers
Stargazers
aziem
rainoftime
stonebuddha
Beijing, China
vonavi
Moscow, Russia
minalspatil
Umeå, Sweden
moebg
Kraks
funemy