Coq Platform

Coq Platform - это бесплатный программный продукт в категории Developer Tools. Он предназначен для использования в MacOS. Его категория помещает его в программное обеспечение, предназначенное для поддержки работы, связанной с разработкой. Доступная информация о продукте не определяет более узкую функцию или отдельный набор функций.

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

MirrorNest распространяет платформу Coq, отражая официальную сборку непосредственно на собственном хранилище. Это обеспечивает каталожную копию, полученную из официальной сборки, а не отдельно описанное издание. MirrorNest сканирует зеркальную сборку для вредоносных программ перед публикацией. Таким образом, листинг сочетает в себе бесплатную лицензию продукта и платформу MacOS с определенным зеркалом и процессом сканирования.