KeY: Deductive Verification of Software (re: Proving TimSort Bug in Java,Python)envisage-project.eu2 points·amund··0 commentsOpen articleSaveView on HN