package coq-core

  1. Overview
  2. Docs
The Coq Proof Assistant -- Core Binaries and Tools

Install

Dune Dependency

Authors

Maintainers

Sources

coq-8.19.0.tar.gz
md5=64b49dbc3205477bd7517642c0b9cbb6
sha512=02fb5b4fb575af79e092492cbec6dc0d15a1d74a07f827f657a72d4e6066532630e5a6d15be4acdb73314bd40b9a321f9ea0584e0ccfe51fd3a56353bd30db9b

doc/micromega_plugin/Micromega_plugin/index.html

Module Micromega_pluginSource

Sourcemodule Certificate : sig ... end
Sourcemodule Coq_micromega : sig ... end
Sourcemodule G_micromega : sig ... end
Sourcemodule Itv : sig ... end
Sourcemodule Linsolve : sig ... end

The purpose of the solver is to generate *all* the integer solutions of a system of linear equations of the following form: 1- all the variables are positive 2- all the coefficients are positive

Sourcemodule Micromega : sig ... end
Sourcemodule Mutils : sig ... end
Sourcemodule NumCompat : sig ... end
Sourcemodule Persistent_cache : sig ... end
Sourcemodule Polynomial : sig ... end
Sourcemodule Simplex : sig ... end

Profiling

Sourcemodule Sos : sig ... end
Sourcemodule Sos_lib : sig ... end
Sourcemodule Sos_types : sig ... end
Sourcemodule Vect : sig ... end
OCaml

Innovation. Community. Security.