Project-team DEDUCTEAM DEDUCTEAM Deducteam investigates applications of proof theory to the design of logical frameworks, to...
© Inria / Photo B. Fourrier Appointment Gilles Dowek appointed to the conseil superieur des programmes 09/03/2023
© Inria / Photo C. Lebedinsky European partnerships Proof assistants: strengthening the position of the EU through EuroProofNet 01/03/2022
European partnerships High-Performance Computing : INRIA involved in eight European projects 26/05/2021