Библиотека теории групп.
Российский проект по быстрому обучению методам доказательства математических теорем на компьютере