Create 2014-11-06-collaborative-proofs.md