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.
더 보기
