UniMath/agda-unimath

Описание и применение

Резюме проекта UniMath/agda-unimath:

UniMath/agda-unimath - это открытый исходный код библиотека, предназначенная для разработки математических теорий с использованием языка Agda. Библиотека предоставляет базовые структуры и функции для работы с математической логикой, теориями групп и алгебраическими структурами. Проект предназначен для использования в академических и научных целях, а также для разработки новых математических теорий и исследований.

Применение в работе

UniMath/agda-unimath may be useful when its README and activity match a concrete workflow.

Ограничения и замечания

Early or unclear: treat as research material until maintenance, releases, docs, and issue activity are verified.