MoonBit 0.9: Introducing First-Class Formal Verificationtwitter.com2 points·hongbo_zhang··0 commentsOpen articleSaveView on HN