Deducteam

Home Members Software Seminars

Deducteam is an INRIA research team of the Programs, Verification and Proofs theme located at the LSV, Cachan.

We conduct research on proof processing systems and more specifically on:

Publications of the team.

Activity reports: 2015, 2014, 2013, 2012.


Contact:

Gilles Dowek, (first name).(last name)@inria.fr, LSV, 61 avenue du Président Wilson, 94235 Cachan Cedex