Skip to content
KeY-2.0.2
default avatar
bruns@kit.edu
ccdb7ef1 · [bugfix] let \fresh imply non-null (bug #1364) · 
KeY 2.0 maintanance update, contains soundness fixes and improved SMT support