Coq: პროგრამების ჩამოტვირთვა

გამომცემელს Coq კატალოგში 1 Windows პროგრამა აქვს. ბოლოს განახლდა: Coq Beta 2025.08.3. · github.com