CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
This project aims to create a Web3 platform for formal proofs, connecting mathematicians, researchers, and businesses. It will integrate advanced verification tools and a collaborative Wiki for formal mathematics, incentivizing contributions through blockchain-based rewards while addressing safety and security in proto…
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 condensed mathematics recently validated by computers, generating considerable momentum in the mathematical community.
Simultaneously, there is growing industrial demand for formal proofs of software and hardware.
Similarly, Web…
UNIVERSITAET INNSBRUCK
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
