from Hacker News

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

by baruchel on 2/25/24, 8:46 PM with 0 comments