Coq proqramlarını yüklə

Kataloqda Coq naşirinə aid 1 Windows proqramı var. Ən son yenilənən: Coq Beta 2025.08.3. · github.com