34 citations · 144 across the 66 of their papers we have counts for
1 paper · 1 filter
Gilles Dowek
We describe the first results of a project of analyzing in which theories formal proofs can be ex- pressed. We use this analysis as the basis of interoperability between proof syst…