Monk Zero
@NoCommas
@antigma_labs, prev: @awsCloud, @Meta, @Mysten_Labs.
A Turing Complete mind, wandering the world of Gödel Incompleteness.
Joined July 2012
990 Following 1.7K Followers
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.
Show more
