Team TypiCal

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Dissemination
Bibliography

Section: Contracts and Grants with Industry

ANR PSI

Assia Mahboubi and Germain Faure are part of the ANR PSI Proof Search Interaction coordinated by Stéphane Lengrand. The goal of the project is to understand how we can take into account a specific theory when elaborating proof search strategies, both at the level of proof theory and at the design of automated tools.


previous
next

Logo Inria