3 ms·

Lean is amazing for collaboration because anyone can contribute to a proof and their work be automatically verified.