package why3

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val list_prover_ids : unit -> string list
val add_prover_binary : Whyconf.config -> string -> string -> Whyconf.config
val run_auto_detection : Whyconf.config -> Whyconf.config
OCaml

Innovation. Community. Security.