why3-doc-pdf

PDF Documentation of the why3 verification platform
  http://why3.lri.fr/
  0
  no reviews



This package contains the tutorial and reference manual of the why3 verification platform in PDF format.