Καταχώριση Αποδείξεων

Δοκίμασα και παρουσιάζω μια ακόμη εφαρμογή καταχώρησης αποδείξεων, το Αποδείξης 2010