Цель проекта - помощь при исследовании свойств полигонов над полугруппами, унаров, решёток конгруэнций и т.д.
Проект содержит две версии: Rust версию и Haskell версию. Haskell версия на данный момент не разрабатывается, активно разрабатывается только Rust версия.