Frama-C:
Plug-ins:
Libraries:

Frama-C API - GuiTactic

class type composer = object ... end
class type browser = object ... end
class tactic : Wp.Tactical.t -> (Stdlib.Format.formatter -> Wp.Tactical.selection -> unit) -> object ... end
type auto_callback = depth:int -> width:int -> Wp.Strategy.heuristic list -> unit
class autosearch : unit -> object ... end
type callback = depth:int -> Wp.ProofStrategy.strategy option -> unit
class strategies : unit -> object ... end