Who verifies the verifier? Notes on DeepMind's formal proof-search paperkorbonits.com1 point·korbonits··0 commentsOpen articleSaveView on HN