The project MALINCA, led by Carlos Simpson (CNRS, LJAD), with Philippe de Groote (Inria Lorraine), Hugo Herbelin (Inria Paris) and Paul-André Melliès (CNRS, IRIF), has been awarded the ERC Synergy program.
The project aim at developing a new generation of proof assistant, based on advances of linguistics, mathematical logic, programming language semantics and machine learning.