Geeks
ElectionAuditWare
/
OpenRLA
Free & Fair's open source RLA support software.
Primary Language
Coq
Other
NOASSERTION
OpenRLA GitHub
Markdown
Readme
0
Issues
0
Stargazers
5
Watchers
OpenRLA
Free & Fair's open source RLA support software.