Math Inc 认为形式化验证已可实用,邀人参加 Vibecheck 黑客松

RT @jessemhan:在 @mathematics_inc,我们认为形式化验证已经可以正式登台了。让我们一探究竟!来 Vibecheck,和这个领域最优秀的一批人一起在前沿构建,还能赢得 Math Inc 周边(见图)https://t.co/38rGVhjwi2