MoonBit 0.9: Introducing First-Class Formal Verification | MoonBit
www.moonbitlang.com
MoonBit 0.9 introduces formal verification for AI-native workflows, enabling AI systems to generate code that is not just functional, but provably correct.