Hacker News new | ask | show | jobs
Who verifies the verifier? Notes on DeepMind's formal proof-search paper (korbonits.com)
1 points by korbonits 19 days ago