Geeks
KeYProject
/
key
KeY Theorem Prover for Deductive Java Verification
Primary Language
Java
Other
NOASSERTION
key Home Page
key GitHub
Markdown
Readme
3.1k
Issues
49
Stargazers
4
Watchers
Watchers
MarcoScaletta
mattulbrich
Karlsruhe Institute of Technology, Inst. of Theoretical Informatics
mi-ki
Karlsruhe Institute of Technology (KIT)
sdillmann