Coq.CoqPlatform.Beta 2025.1.0

Coq is a formal proof management system.

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.

Command Line

Download Links For Version 2025.1.0

Info

  • last updated 2/10/2025 12:00:00 AM
  • Publisher: Coq
  • License: CC0-1.0

Dependencies

No dependency information

Share