形式化方法黑客松 Vibecheck 落地旧金山：写真实软件并证明其正确

Vibecheck「可用的形式化方法」黑客松将于 11 月 1 日周末在旧金山 TheGP 举办，团队需选取类 Word、Flappy Bird、Claude Code 等真实生产级软件，将其构建出来并形式化验证正确性。