4 citations · 16 across the 10 of their papers we have counts for
1 paper · 2 filters
Tomer Libal, Marco Volpe
Different theorem provers tend to produce proof objects in different formats and this is especially the case for modal logics, where several deductive formalisms (and provers based…