← Back to context

Comment by curt15

18 hours ago

More so if Lean uncovers logical errors. Note also there is already an ongoing 2nd generation proof.

0 comments

curt15

Reply

No comments yet

Contribute on Hacker News ↗