Hacker News new | ask | show | jobs
MoonBit 0.9: Introducing First-Class Formal Verification (twitter.com)
2 points by hongbo_zhang 76 days ago