ERC Project FormalWeb3

Web3 Platform for Formal Mathematics

The ERC PoC Project "FormalWeb3" Grant no. 101156734 is realized at the CL group at the University of Innsbruck.

The project runs from February 2024 to July 2025 and its principal investigator (PI) is Cezary Kaliszyk.

The project builds on the success of our ERC project SMART and aims to build a holistic Web3 platform that will serve as a collaborative hub, enabling diverse stakeholders to collaboratively address practical verification and formalization challenges while rewarding users for their contributions.