Comment by m3kw9

code changes 1000 times a day, and you want to "formally" verify it?