Monk Zero
@NoCommas
@antigma_labs, prev: @awsCloud, @Meta, @Mysten_Labs.
A Turing Complete mind, wandering the world of Gödel Incompleteness.
参加 July 2012
990 フォロー中 1.7K ファン
Formal verification is just static analysis + unit test using different vocabulary. It helps in the same sense as writing the same program in different programming languages helps to deepen the understanding.
もっと見る
