A collaborative theorem prover