3 citations · 3 across the 1 of their papers we have counts for
1 paper
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,…