doc/index.rst

   1 The Why3 Platform
   2 =================
   3
   4 :Authors:
   5   François Bobot,
   6   Jean-Christophe Filliâtre,
   7   Claude Marché,
   8   Guillaume Melquiond,
   9   Andrei Paskevich
  10
  11 :Version: |version|, December 2024
  12 :Copyright: 2010--2024 University Paris-Saclay, CNRS, Inria
  13
  14 .. _U3CAT: http://frama-c.com/u3cat/
  15 .. _Hi-Lite: http://www.open-do.org/projects/hi-lite/
  16 .. _BWare: http://bware.lri.fr/
  17 .. _ProofInUse: http://www.spark-2014.org/proofinuse
  18 .. _CoLiS: http://colis.irif.univ-paris-diderot.fr/
  19 .. _VOCal: https://vocal.lri.fr/
  20
  21 This work has been partly supported by the `U3CAT`_ national ANR project
  22 (ANR-08-SEGI-021-08), the `Hi-Lite`_ FUI project of the System\@tic
  23 competitivity cluster, the `BWare`_ ANR project (ANR-12-INSE-0010), the
  24 Joint Laboratory `ProofInUse`_ (ANR-13-LAB3-0007), the `CoLiS`_ ANR
  25 project (ANR-15-CE25-0001), and the `VOCaL`_ ANR project
  26 (ANR-15-CE25-008).
  27
  28 .. toctree::
  29    :maxdepth: 3
  30    :numbered:
  31
  32    foreword
  33    starting
  34    whyml
  35    install
  36    manpages
  37    syntaxref
  38    input_formats
  39    vcgen
  40    exec
  41    itp
  42    api
  43    technical
  44    changes
  45    zebibliography
  46    genindex
  47
  48 .. * :ref:`genindex`
  49 .. * :ref:`search`
  50 .. * :ref:`modindex`