TY  - RPRT
TI  - A Blockchain-Based Approach for Collaborative Formalization of Mathematics and Programs
AU  - Jin Xing Lim
AU  - Barnabé Monnot
AU  - Shaowei Lin
AU  - Georgios Piliouras
PY  - 2021
UR  - https://arxiv.org/abs/2111.10824
ID  - 2111.10824
ER  -