package coq-core

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

Install

Dune Dependency

Authors

Maintainers

Sources

coq-8.19.1.tar.gz
md5=13d2793fc6413aac5168822313e4864e
sha512=ec8379df34ba6e72bcf0218c66fef248b0e4c5c436fb3f2d7dd83a2c5f349dd0874a67484fcf9c0df3e5d5937d7ae2b2a79274725595b4b0065a381f70769b42

doc/ssreflect_plugin/Ssreflect_plugin/Ssrview/index.html

Module Ssreflect_plugin.SsrviewSource

Sourcemodule AdaptorDb : sig ... end
Sourceval tclIPAT_VIEWS : views:Ssrast.ast_closure_term list -> ?clear_if_id:bool -> conclusion:(to_clear:Names.Id.t list -> unit Proofview.tactic) -> unit -> bool Proofview.tactic
Sourceval tclWITH_FWD_VIEWS : simple_types:bool -> subject:EConstr.t -> views:Ssrast.ast_closure_term list -> conclusion:(EConstr.t -> unit Proofview.tactic) -> unit Proofview.tactic
OCaml

Innovation. Community. Security.