Geeks
aoh
/
err
a toy theorem prover for combinatory logic
Primary Language
Scheme
err GitHub
Markdown
Readme
0
Issues
3
Stargazers
3
Watchers
This repository is not active