Blockchain-based Collaborative Formalization of Mathematics - 42Papers