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

(korbonits.com)

1 points | by korbonits 12 hours ago ago

2 comments