8 citations · 18 across the 3 of their papers we have counts for
1 paper · 2 filters
Gilles Dowek, François Thiré
Libraries of formal proofs are an important part of our mathematical heritage, but their usability and sustainability is poor. Indeed, each library is specific to a proof system, s…