Deploy Coq Beta to Microsoft Intune
Published by Coq in Developer Tools
Coq is a formal proof management system.
- Publisher
- Coq
- Homepage
- Visit publisher website
- License
- CC0-1.0
- Category
- Developer Tools
Deployment details
Values come from the WinGet community manifest. This app has not completed an IntuneGet QA run yet.
Recent versions
How deployment works
IntuneGet packages Coq Beta as a Win32 app and uploads it directly to your Microsoft Intune tenant. You review the package settings, configure assignments, and start the deployment from one guided workflow.
