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

Jin Xing Lim, Barnabé Monnot, Shaowei Lin +1

Formalization of mathematics is the process of digitizing mathematical knowledge, which allows for formal proof verification as well as efficient semantic searches. Given the large…