search

KeYProject / key

KeY Theorem Prover for Deductive Java Verification
https://key-project.org
Other
41 stars 24 forks source link

Broken link in README.md #3442

Closed Ao-senXiong closed 5 months ago

Ao-senXiong commented 5 months ago
## Description [Using as a Symbolic Execution Backend](https://github.com/KeYProject/key-symbex-example) This link is broken, is there any alternative?
FliegendeWurst commented 5 months ago

Thanks for notifying us about the broken link. The updated link is https://github.com/KeYProject/symbex-java-example