Geeks
apre-group
/
checkmate
the CheckMate protocol verification tool
Primary Language
C++
MIT License
MIT
checkmate GitHub
Markdown
Readme
6
Issues
8
Stargazers
4
Watchers
Watchers
MichaelRawson
TU Wien
mmsbrggr
laurakovacs
anjapetkovic