Geeks
vyperlang
/
coq-vyper
A Vyper compiler in Coq (just started)
Primary Language
Coq
Apache License 2.0
Apache-2.0
coq-vyper GitHub
Markdown
Readme
0
Issues
3
Stargazers
2
Watchers
Stargazers
Gary-oak-Star
pynchmeister
transmissions11