Most computer-aided proofs to date have been implementations of large proofs-by-exhaustion of a mathematical theorem.
Повеќето компјутерски потпомогнати докази за датумот се имплементации на големи докази по исцрпување на математичка теорема.