MoonBit 0.9 Introduces First-Class Formal Verificationhttps://www.moonbitlang.com/blog/moonbit-0-9-release by berns • 2 months ago 3 0 2 months agoMOmoonbitlang.com