Giters
formal-land
/
coq-of-go
Translation from Go to Coq - Experiment
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
4
Watchers:
2
Issues:
0
Forks:
formal-land/coq-of-go Watchers
Guillaume Claret
clarus
eemailme