Review the help message.

src/main.ml

@@ -125,13 +125,11 @@ let verify_cmd =
     let doc = "Prover to use" in
     Arg.(required & opt (some string) None & info [ "p"; "prover" ] ~doc)
   in
-  let doc = "Property verification of neural networks." in
-  let exits = Term.default_exits in
-  let man =
-    [
-      `S Manpage.s_description; `P "Property verification via external solvers.";
-    ]
+  let doc =
+    "Property verification of neural networks using external provers."
   in
+  let exits = Term.default_exits in
+  let man = [ `S Manpage.s_description; `P doc ] in
   ( Term.(
       ret
         (const (fun format loadpath prover files ->