1

Who verifies the verifier? Notes on DeepMind's formal proof-search paper

[flagged]

17 minutes agoxxBoson

[flagged]