package coq

  1. Overview
  2. Docs
Formal proof management system

Install

Dune Dependency

Authors

Maintainers

Sources

coq-8.16.1.tar.gz
sha256=583471c8ed4f227cb374ee8a13a769c46579313d407db67a82d202ee48300e4b

doc/coq-core.stm/Vcs/Make/Branch/index.html

Module Make.BranchSource

Sourcetype t
Sourceval make : string -> t
Sourceval equal : t -> t -> bool
Sourceval compare : t -> t -> int
Sourceval to_string : t -> string
Sourceval master : t
OCaml

Innovation. Community. Security.