Home Online Mathematical Communication Computational Complexity When is it worth the time and effort to verify a proof FORMALLY?

When is it worth the time and effort to verify a proof FORMALLY?

Computational Complexity 2024-02-25

Link:

https://blog.computationalcomplexity.org/feeds/6079621552130924717/comments/default

Updated:

02/25/2024, 14:40

From feeds:

Online Mathematical Communication ยป Computational Complexity

Tags:

Authors:

gasarch

Date tagged:

02/25/2024, 19:41

Date published:

02/25/2024, 14:40