Coq

Coq hakkında

Coq, WinGet topluluk kataloğunda bulunan güncel bir Windows uygulamasıdır. The Coq platform is a distribution of the Coq proof assistant together with a selection of Coq libraries. It provides a set of scripts to compile and install OPAM, Coq, Coq libraries and Coq plugins on MacOS, Windows and many Linux distributions in a reliable way with consistent results.

Yenilikler

• Current WinGet catalog version: 8.14.1

Önceki sürümler

• 8.13.2

Sistem gereksinimleri

• Windows 10 or Windows 11
• WinGet or the publisher installer