Coq: скачать программы

В каталоге 1 программа для Windows от разработчика Coq. Последнее обновление: Coq Beta 2025.08.3. · github.com