Open Source Projects Are Using Kani to Write Better Software in Rustaws.amazon.com2 points·qsantos··0 commentsOpen articleSaveView on HN