MoonBit 0.9 Introduces First-Class Formal Verification #1 Post by berns » Mon, May 11, 2026, 1:16 PM UTC MoonBit 0.9 Introduces First-Class Formal Verificationmoonbitlang.com