package why3

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

val left_case_expl : string

val right_case_expl : string

val true_case_expl : string

val false_case_expl : string

val create_goal_trans : expl:string -> Task.task Trans.trans

val case : Term.term -> string option -> Task.task Trans.tlist

val or_intro : bool -> Task.task Trans.trans

val exists_aux : Term.term -> Term.term -> Decl.decl list

val exists : Term.term -> Task.task Trans.trans

val intros : string list -> Decl.prsymbol -> Term.term -> Decl.decl list

val create_list : int -> string list

val introduce_premises : int -> Task.task Trans.trans

val intros_list : string list -> Task.task Trans.trans