4 citations · 16 across the 10 of their papers we have counts for
1 paper · 2 filters
Tomer Libal, Marco Volpe
One of the main issues in proof certification is that different theorem provers, even when designed for the same logic, tend to use different proof formalisms and produce outputs i…