xenial (1) why-config.1.gz

Provided by: why_2.34-4ubuntu4_amd64 bug

NAME
       why - A multi-language multi-prover verification tool


SYNOPSIS
       why [ options ] files


DESCRIPTION
       why  is  a  verification  tool.   It  takes  annotated  programs as input (in ML or C syntax) and outputs
       verification conditions for several proof assistants (Coq, PVS, HOL Light, Mizar) and decision procedures
       (haRVey, Simplify).


OPTIONS
       -h     Help. Will give you the full list of command line options.


AUTHORS
       Jean-Christophe Filliatre <filliatr@lri.fr>


SEE ALSO
       Why web site: http://why.lri.fr/

                                                   March, 2002                                            why(1)