Coq: baixar programas para Windows

O catálogo tem 1 programa para Windows de Coq. Atualizado mais recentemente: Coq Beta 2025.08.3. · github.com