Geeks
anton-trunov
/
coq-lecture-notes
Coq Lecture Notes (WIP)
Primary Language
Coq
coq-lecture-notes GitHub
Markdown
Readme
0
Issues
50
Stargazers
12
Watchers
This repository is not active