MoonBit 0.9: Introducing First-Class Formal Verification #1 Post by hongbo_zhang » Sat, Apr 11, 2026, 10:50 AM UTC MoonBit 0.9: Introducing First-Class Formal Verificationtwitter.com