smart logo

Strong Modular Proof Assistance
Reasoning Across Theories

The ERC Project "SMART" Starting Grant no. 714034 realized at the CL group at the University of Innsbruck.

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.