why3-doc-html

HTML 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 HTML format.