Geeks
sayon
/
coq-cata
study on coq catamorphisms encoding
Primary Language
Coq
GNU General Public License v3.0
GPL-3.0
coq-cata GitHub
Markdown
Readme
0
Issues
2
Stargazers
1
Watcher
coq-cata
study on coq catamorphisms encoding