Commit a7da740c authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Beautify README.md.

parent 6faf77a5
WHY 3
=====
Why3 is a platform for deductive program verification. It provides Why3 is a platform for deductive program verification. It provides
a rich language for specification and programming, called WhyML, and a rich language for specification and programming, called WhyML, and
...@@ -11,42 +13,42 @@ automated extraction mechanism. WhyML is also used as an intermediate ...@@ -11,42 +13,42 @@ automated extraction mechanism. WhyML is also used as an intermediate
language for the verification of C, Java, or Ada programs. language for the verification of C, Java, or Ada programs.
PROJECT HOME PROJECT HOME
============ ------------
http://why3.lri.fr http://why3.lri.fr/
https://gforge.inria.fr/projects/why3 https://gitlab.inria.fr/why3/why3
DOCUMENTATION DOCUMENTATION
============= -------------
The documentation (a tutorial and a reference manual) is in The documentation (a tutorial and a reference manual) is in
the file doc/manual.pdf. the file `doc/manual.pdf`.
Various examples can be found in the subdirectories theories/ Various examples can be found in the subdirectories [theories/](theories)
and examples/. and [examples/](examples).
Mailing list (Why3 Club): Mailing list (Why3 Club):
http://lists.gforge.inria.fr/mailman/listinfo/why3-club http://lists.gforge.inria.fr/mailman/listinfo/why3-club
Bug Tracking System: Bug Tracking System:
https://gforge.inria.fr/tracker/?atid=10293&group_id=2990&func=browse https://gitlab.inria.fr/why3/why3/issues
COPYRIGHT COPYRIGHT
========= ---------
This program is distributed under the GNU LGPL 2.1. See the enclosed This program is distributed under the GNU LGPL 2.1. See the enclosed
file LICENSE. file [LICENSE](LICENSE).
The files src/util/extmap.ml{i} are derived from the sources of The files [src/util/extmap.ml{i}](src/util/extmap.mli) are derived from the
OCaml 3.12 standard library, and are distributed under the GNU sources of OCaml 3.12 standard library, and are distributed under the GNU
LGPL version 2 (see file OCAML-LICENSE). LGPL version 2 (see file [OCAML-LICENSE](OCAML-LICENSE)).
Icon sets for the graphical interface of Why3 are subject to specific Icon sets for the graphical interface of Why3 are subject to specific
licenses, some of them may forbid commercial usage. These specific licenses, some of them may forbid commercial usage. These specific
licenses are detailed in files share/images/*/*.txt licenses are detailed in files [share/images/\*/\*.txt](share/images).
INSTALLATION INSTALLATION
============ ------------
See the file INSTALL. See the file [INSTALL.md](INSTALL.md).
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment