Hacker News new | ask | show | jobs
MoonBit 0.9 Introduces First-Class Formal Verification (moonbitlang.com)
3 points by berns 33 days ago