Yes, what I'm saying is some of these proofs may have had essentially zero marginal human effort. Should they not be reviewed at all?
replyReviewing to make sure the proof is correct. Even the proof comes with lean, it could still proof the wrong thing.
reply