Geeks
bashi-bazouk
/
ACL2OCaml
Socket binding to the Centaur ACL2 Bridge
Primary Language
OCaml
ACL2OCaml GitHub
Markdown
Readme
0
Issues
2
Stargazers
2
Watchers
No issues in this repository yet.