MoonBit 0.9: Introducing First-Class Formal Verification

MoonBit 0.9 introduces first-class formal verification capabilities designed for AI collaboration. The system enables AI to generate proofs and loop invariants while an automated theorem prover (Z3) validates them, addressing reliability concerns in AI-generated code. MoonBit integrates verification natively into the language rather than as an external tool.