On the other hand, proof assistants allow verifying all details that cannot be given in a hand-written proof, and provide certainty of the correctness of long proofs such as that of the Feit–Thompson theorem.
Idagan iyad, iməgiha ən tamətert jarawən akayad ən ilaɣitan kul waren adobat atwəhək dǎɣ tamətert təknat as afus, izar hakən assədətu ən tidit ən timtar zəjrətnen sund tin təmkare tan Feit–Thompson .