Geeks
VeriNum
/
pardotprod
Parallel Dot Product, Verified in VST
Primary Language
Coq
pardotprod GitHub
Markdown
Readme
0
Issues
5
Stargazers
1
Watcher
Stargazers
adnahmed
Islamabad, Pakistan
iamoeg
Morocco
ocsmit
@ncsuSEAL
rigille
Mixrank
sampollard
Sandia National Labs