GitHub - bashi-bazouk/ACL2OCaml: Socket binding to the Centaur ACL2 Bridge · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
.gitignore		.gitignore
ACL2Bridge.ml		ACL2Bridge.ml

About

Socket binding to the Centaur ACL2 Bridge

Report repository

Releases

No releases published

Packages

Contributors

Languages

OCaml 100.0%