1.3k citations · 1.7k across the 25 of their papers we have counts for
1 paper · 1 filter
Sylvain Carré, Franck Gabriel, Clément Hongler +2
Modern mathematics is built on the idea that proofs should be translatable into formal proofs, whose validity is an objective question, decidable by a computer. Yet, in practice, p…