search

KeYProject / key

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

PR for KeY 2.12.2 #3327

Closed unp1 closed 10 months ago

unp1 commented 10 months ago

Ignore this PR. The correct PR is #3328