20 citations · 34 across the 9 of their papers we have counts for
1 paper · 1 filter
Dennis Müller, Colin Rothgang, Yufei Liu +1
Translating expressions between different logics and theorem provers is notoriously and often prohibitively difficult, due to the large differences between the logical foundations,…