1 paper · 1 filter
Daniela Kaufmann, Clemens Hofstadler
Proof certificates can be used to validate the correctness of algebraic derivations. However, in practice, we frequently observed that the exact same proof steps are repeated for d…