(** {2 Current proof} (if any) *)
(** @return true if there is an ongoing proof, false otherise *)
method onGoingProof: unit -> bool
(** {2 Current proof} (if any) *)
(** @return true if there is an ongoing proof, false otherise *)
method onGoingProof: unit -> bool