Giters
Mbodin
/
CoqR
A Coq formalisation of the R programming language
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
9
Watchers:
3
Issues:
2
Forks:
0
Mbodin/CoqR Stargazers
Andrew Craig
andycraig
Chris Hammill
cfhammill
codyroux
Matthis Kruse
DasNaCl
Alexander Chichigin
gabriel-fallen
Jack Valinsky
jvalinsky
Mike Williamson
sleepycat
Vijay Lulla
vlulla