Property verification is not for NN only.

src/main.ml

@@ -133,9 +133,7 @@ let config_cmd =
 
 let verify_cmd =
   let cmdname = "verify" in
-  let doc =
-    "Property verification of neural networks using external provers."
-  in
+  let doc = "Property verification using external provers." in
   let info =
     Cmd.info cmdname ~sdocs:Manpage.s_common_options ~exits:Cmd.Exit.defaults
       ~doc