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 Stargazers
Guillaume Claret
clarus
Tim Kersey
tkersey
Shohei Shimomura
sh0hei
Marek Šimek
simek-m