Coq Platform

Coq Platform est un logiciel gratuit dans la catégorie Developer Tools. Il est destiné à être utilisé sur MacOS. Sa catégorie le place dans des logiciels destinés à soutenir les travaux liés au développement. L'information disponible sur le produit ne précise pas une fonction plus étroite ou un ensemble distinct de caractéristiques.

La licence gratuite permet aux utilisateurs d'obtenir le produit sans obligation d'achat. La désignation de la plate-forme MacOS aide les utilisateurs à déterminer si elle correspond à leur système d'exploitation. Le produit est donc listé comme un outil de développement MacOS plutôt que comme une application à usage général pour d'autres plateformes.

MirrorNest distribue la plate-forme Coq en miroir de la construction officielle directement sur son propre stockage. Cela fournit une copie de catalogue provenant de la construction officielle plutôt qu'une édition décrite séparément. MirrorNest scanne la compilation miroir pour malware avant de la publier. La liste combine donc la licence gratuite du produit et la plate-forme MacOS avec un miroir défini et un processus de numérisation.