MoonBit 0.9 Introduces First-Class Formal Verification
moonbitlang.com