ERC Project SMART
Strong Modular Proof Assistance
Reasoning Across Theories
The project runs from March 2017 to August 2022 and its principal investigator (PI) is Cezary Kaliszyk.
The main goal of the project is to develop new hammer systems for Coq and set theory, as well as improve existing ones by stronger machine learning.