Coq | Anaconda.org

conda-forge / packages / coq 8.12.2

0

Coq is a formal proof management system

License: LGPL-2.1-only
42310 total downloads
Last upload: 3 years and 11 months ago

Installers

Info: This package contains files in non-standard labels.

linux-64 v8.12.2
osx-64 v8.12.2

conda install

To install this package run one of the following:
conda install conda-forge::coq
conda install conda-forge/label/cf202003::coq

Description

None

© 2024 Anaconda, Inc. All Rights Reserved. (v4.0.6) Legal | Privacy Policy