Posted new page "False computer-checked proofs" linking to 199 reports of soundness bugs in several important proof-checking programs: https://cr.yp.to/proofs/falseccp.html
1 Boost
0 Likes
No replies yet
Be the first to share your thoughts.
