Comment by viraptor

> forcing the mathematicians community to do the verification job for them

What do you mean? They're publishing the Lean proofs themselves. Who's forced into anything?