Geeks
dominique-unruh
/
qrhl-tool
Proof assistant for qRHL
Primary Language
Scala
MIT License
MIT
qrhl-tool Home Page
qrhl-tool GitHub
Markdown
Readme
76
Issues
18
Stargazers
5
Watchers
Watchers
dconnolly
SandboxAQ
dominique-unruh
RWTH Aachen, University of Tartu
jhcloos
k4rtik
UChicago CS
kammitama5
University of Vermont