55 citations · 102 across the 4 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…