Pakua programu za Coq

Orodha ina programu 1 za Windows kutoka Coq. Iliyosasishwa karibuni zaidi: Coq Beta 2025.08.3. · github.com