why3-doc-html

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

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