ТОВ «Криптографічні телесистеми»
Юридичний правовласник авторських прав на твори Groupoid Infinity
Статус
Товариство з обмеженою відповідальністю «Криптографічні телесистеми» виступає правовласником авторських прав на програмні продукти, формальні системи, бібліотеки, освітні матеріали та інші твори, створені в рамках проєкту Groupoid Infinity.
Предмет прав
- Мови та системи формальної математики (Anders, Henk, Per, Dan, Urs, Alonzo, Yves тощо).
- Бібліотеки та формалізації (BTRON Coq Base Library, Groupoid Infinity libraries).
- Освітні матеріали, робочі програми та документація Інституту.
- Інші твори, створені в рамках проєкту.
Права на використання творів у освітній та науковій діяльності ННІ ФМГІ та НДІ ФМГІ регулюються відповідними ліцензійними угодами.