All the data you need.
When are formal proofs worth the effort?
( go to the article → https://www.johndcook.com/blog/2020/12/03/formal-proof-roi/ )
Formal verification of theorems takes a lot of work. And it takes more work where it is least needed. But the good news is that it takes less effort in contexts where it is needed most. Years of effort have gone into formally verifying the proofs of theorems that no one doubted were correct. For […] The post When are formal proofs worth the effort? first appeared on John D. Cook.
Back All Articles
advert template