Geeks
markisus
/
coq-ski
Coq Library for SKI Combinatory Logic
Primary Language
Coq
MIT License
MIT
coq-ski GitHub
Markdown
Readme
0
Issues
8
Stargazers
3
Watchers
Watchers
eemailme
jhcloos
markisus