8 citations · 18 across the 3 of their papers we have counts for
1 paper · 2 filters
François Thiré
We observe today a large diversity of proof systems. This diversity has the negative consequence that a lot of theorems are proved many times. Unlike programming languages, it is d…