The Coq Team: hugbúnaður til niðurhals

1 Windows-forrit frá útgefandanum The Coq Team er í skránni. Síðast uppfært: Coq 2025.08.3. · github.com