Inclusion in this list does not imply that a formal computer-checked proof exists, but rather, that a computer program has been involved in some way.
Вклучувањето во овој список не повлекува дека постои формален доказ проверен со компјутер, туку повеќе дека компјутерска програма е употребена на некој начин.