Crux: Our new open-source tool for software verificationgalois.com3 points·onlydnaq··0 commentsOpen articleSaveView on HN