Jin Xing Lim, Barnabé Monnot, Shaowei Lin, Georgios Piliouras: A Blockchain-Based Approach for Collaborative Formalization of Mathematics and Programs. Blockchain 2021: 321-326