A simpler, but related, problem is proof verification, where an existing proof for a theorem is certified valid.
Paprastesnė, tačiau susijusi problema yra įrodymų patikrinimas, kai teoremos įrodymas yra pripažįstamas svariu.