by Coq
Coq is a native app (v8.14.1) that uses 12 detected dependencies across 1 categories including Other. It is not code-signed. 1196 MB on Windows (x86). Last updated March 29, 2026. Last verified March 2026.
12 detected dependencies across 1 categories.
Sign up to see Other details
Sign Up Free8 tracked releases since April 2021.
Sign up to see Release History
Sign Up FreeLast verified March 31, 2026