FStar: An ML-like language with a type system for program verificationgithub.com6 points·Rexxar··0 commentsOpen articleSaveView on HN