Geeks
YaccConstructor
/
YC_in_Coq
Some parts of formal language theory in Coq
Primary Language
Coq
Apache License 2.0
Apache-2.0
YC_in_Coq Home Page
YC_in_Coq GitHub
Markdown
Readme
3
Issues
2
Stargazers
17
Watchers
Stargazers
breandan
@mila-iqia
GwenTinho