package coq

  1. Overview
  2. Docs
Formal proof management system

Install

Dune Dependency

Authors

Maintainers

Sources

coq-8.15.1.tar.gz
sha256=513e953b7183d478acb75fd6e80e4dc32ac1a918cf4343ac31a859cfb4e9aad2

doc/micromega_plugin/Micromega_plugin/Mfourier/Proof/index.html

Module Mfourier.ProofSource

Sourceval mk_proof : Polynomial.cstr list -> proof -> (Vect.t * Polynomial.cstr) list
OCaml

Innovation. Community. Security.