why3(1) on Linux
The text 4aca8d8d1641, as Debian 11 (Bullseye), Debian 10 (Buster), Debian 9 (Stretch) shipped it.
software verification platform
Flags it lists
-
--config -
--debug -
--debug-all -
--help -
--library -
--list-debug-flags -
--list-formats -
--list-metas -
--list-printers -
--list-provers -
--list-transforms -
--print-datadir -
--print-libdir -
--version -
-C -
-L -
-h