Программа ТеорМат предполагает самостоятельное доказательство теорем и самостоятельное решение теоретических задач (активное изучение), и следит за корректностью доказательства.