Tag: Giles Dowek

Title #2: “A Proof Library Shared by Different Proof Systems” Speaker #2: Gilles Dowek, Researcher, Inria & Professor, École normale de Paris-Saclay Date: Friday, April 20, 2018 Time: 2:30pm Location: NIA, Room 137 Abstract: Gilles will present a library of proofs in arithmetic, from the definition of  natural numbers to Fermat’s little theorem, that can be…