Geeks
yangchenyun
/
the-little-prover
Learning on the Boyer-Moore prover
Primary Language
Scheme
the-little-prover GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
This repository is not active