υπολογισμός αποδείξεων