Periodic Reporting for period 1 - FormalWeb3 (Web3 Platform for Formal Mathematics)

Mathematics is today on the verge of a revolution. Formal, computer-verified proofs become ubiquitous and largely adopted as the new means of communication and collaboration. This led to landmark proofs, such as Hales's verification of the Kepler conjecture and Scholze's...