Geeks
jesyspa
/
coq-playground
Just random stuff that seems fun to formalise
Primary Language
Makefile
MIT License
MIT
coq-playground GitHub
Markdown
Readme
0
Issues
0
Stargazers
1
Watcher
Watchers
jesyspa
Utrecht, The Netherlands