acm-header
Sign In

Communications of the ACM

Blogroll


Refine your search:
datePast Week
authorgasarch
bg-corner

From Computational Complexity

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

(This post was inspired by Lance's tweet and later post on part of IP=PSPACE being formally verified.) We now have the means to verify that a proof (prob just some...
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account