Softonic

Najważniejsze alternatywy dla Coq Platform na Mac

Ikona programu: Coq Platform

Coq Platform na Mac

  • Darmowa
  • 4.9
    1
  • V2025.01.0-8.20.2025.01
Free Download na Mac

Zarządzanie formalnymi dowodami z Coq Platform

Nie znaleziono alternatyw dla tej aplikacji

Spróbuj zmodyfikować filtry wyszukiwania

Softonic
100/100

Wynik skanowania: Czysty

Ten plik przeszedł kompleksowe skanowanie bezpieczeństwa przy użyciu technologii VirusTotal. Jest bezpieczny do pobrania.

  • Wolny od wirusów
  • Wolny od spyware
  • Wolny od malware

  • Zweryfikowane przez Partnerów Bezpieczeństwa

    Logo VirusTotal

Informacje o Skanowaniu

Ostatni skan
niedziela, 19 października 2025
Dostawca skanowania
VirusTotal

Zobowiązanie bezpieczeństwa Softonic

Coq Platform został dokładnie przeskanowany przez nasze zaawansowane systemy bezpieczeństwa i zweryfikowany przez wiodących partnerów branżowych. Ten plik pochodzi od oficjalnego dewelopera i przeszedł wszystkie nasze kontrole bezpieczeństwa, nie wykazując oznak wirusów, malware lub spyware.