Publisher

Coq

2 Coq apps indexed from the Windows Package Manager community repository. Every entry has a one-line install command and a silent variant for unattended deployment.