← All apps

Publisher

Coq

2 Coq apps indexed from the Windows Package Manager community repository. Every entry has a one-line install command and a silent variant for unattended deployment.

  • Coq BetaCoq
    Coq.CoqPlatform.Betav2025.08.3

    Coq is a formal proof management system.

  • CoqCoq
    Coq.CoqPlatformv2025.08.2

    Coq is a formal proof management system.