Geeks
MarisaKirisame
/
Coq_code
Primary Language
Coq
GNU Lesser General Public License v3.0
LGPL-3.0
Coq_code GitHub
Markdown
Readme
16
Issues
10
Stargazers
5
Watchers
COQ_code