EXE
WinGet
Coq
The Coq Team · 2025.1.0 · x64
Before deploying, verify this file with VirusTotal ↗
Silent Commands
Install
Coq-Platform-release-2025.01.0-version.8.19.2024.10-Windows-x86_64.exe /S
Intune Detection Rule
Registry Rule
Rule type
Registry
Registry hive
Key path
HKLM:\SOFTWARE\Microsoft\Windows\CurrentVersion\Uninstall\Coq-Platform~8.19~2024.10
Detection method
Value name
DisplayVersion
Operator
Greater than or equal to
Value
2025.1.0
Associated with 32-bit app on 64-bit clients
No
File Identity
Filename
Coq-Platform-release-2025.01.0-version.8.19.2024.10-Windows-x86_64.exe
Signature
Status
Upload installer to verify signature
Installer Selection
WinGet Package
Package ID
Coq.CoqPlatform
Version
2025.1.0
Description
Coq is a formal proof management system.
License
CC0-1.0
↗
Homepage
https://github.com/coq/platform
Upgrade Behavior
install(Install over existing)
Release Notes
View changelog ↗