Geeks
skeuchel
/
metatheory
Formal Metatheory in Coq
Primary Language
Coq
BSD 3-Clause "New" or "Revised" License
BSD-3-Clause
metatheory GitHub
Markdown
Readme
0
Issues
0
Stargazers
3
Watchers
metatheory
Formal Metatheory in Coq