opinion claim

Schultze worried that incorrect definitions in Lean might go unnoticed, allowing Lean to verify a proof as correct even when the proof was not correct.

In their words

The transcript segments this claim was taken from

“And Schultze worried that if the definitions were wrong in Lean, nobody could tell. Lean might verify the proof as correct even when it wasn't.”

0.90how strongly it was put, not whether it is true

0.80importance to the conversation

0.97confidence the claim was read correctly