Another possible way of verifying computer-aided proofs is to generate their reasoning steps in a machine-readable form, and then use an automated theorem prover to demonstrate their correctness.
Друг можен начин на верификување на компјутерските асиститирани докази е да се гарантираат нивните расудувани чекори во машински читлива форма, а потоа се употребува автоматски провајдер за теореми за да ја покажат својата коректност.