This approach of using a computer program to prove another program correct does not appeal to computer proof skeptics, who see it as adding another layer of complexity without addressing the perceived need for human understanding.
Овој пристап на користење на компјутерска програма за да се докаже друга програма, не е за да се задоволат скептиците на компјутерските докази кои тоа го гледаат како додавање на уште еден слој на сложеност без да се согледа потребата за човековите сфаќања.