MoonBit 0.9: Introducing First-Class Formal Verification(twitter.com)2 ポイント·投稿者 hongbo_zhang·3 か月前·0 コメントtwitter.comMoonBit 0.9: Introducing First-Class Formal Verificationhttps://twitter.com/i/status/20425538091597295760 コメントコメントを投稿—