Coq programok letöltése

Kiadó: Coq. A katalógusban 1 Windows-program szerepel tőle. Legutóbb frissítve: Coq Beta 2025.08.3. · github.com