package coq

You can search for identifiers within the package.

in-package search v0.2.0

Formal proof management system

Install

sha256=3cbfc1e1a72b16d4744f5b64ede59586071e31d9c11c811a0372060727bfd9c3

Sourceval load_init_vernaculars : Coqargs.t -> state:Vernac.State.t -> Vernac.State.t

load_init_vernaculars opts ~state Load vernaculars from the init (rc) file

val compile_file : 
  Coqargs.t ->
  Stm.AsyncOpts.stm_opt ->
  Coqcargs.t ->
  Coqargs.injection_command list ->
  unit

compile_file opts compile file specified in opts

Sourceval do_vio : Coqargs.t -> Coqcargs.t -> Coqargs.injection_command list -> unit

do_vio opts process .vio files in opts