A Blockchain-Based Approach for Collaborative Formalization of Mathematics and Programs - 42Papers