Geeks
yfyf
/
la-girafe-sportive
Coq-verified statements about lambda calculi.
la-girafe-sportive GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
La Girafe Sportive
Coq-verified statements about lambda calculi.
