Proof assistants allow mathematical collaborators to verify external contributions automatically without requiring the project architect to manually inspect the proofs