Skip to content
1st_Provably_Correct_Commit_by_Mattias_Ulbrich
Richard Bubel's avatar
Richard Bubel
@rbubel
6b5d0f36 · adding a KeY-proven line wrapping method. · 
First time code in KeY proven with KeY by Mattias Ulbrich