Debian logoDebian Screenshots >

why3-doc-pdf

PDF Documentation of the why3 verification platform

Description

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

Upload more screenshots

Please help extend the collection of screenshots. Just make a screenshot and upload it here. You don't need to register or anything.


Homepage

http://why3.lri.fr/


Statistics

654 other people were interested in this package here. The newest known version of this software is 1.3.1-2 (Information last updated 5 days ago.)