Geeks
wadoon
/
key-tools
Tools for the KeY Theorem Prover
Primary Language
JavaScript
GNU General Public License v2.0
GPL-2.0
key-tools GitHub
Markdown
Readme
2
Issues
1
Stargazer
2
Watchers
Issues
Open issue
NPE on loading corrupt proofs
#2 opened
2 years ago
by
jwiesler
5
Open issue
Integration fails
#1 opened
2 years ago
by
mattulbrich
1