Linux Mint
My Places
Sign in
Community
Software
Users
Moderation
Beta Testing
ISO Images
Teams
why3-doc-pdf
PDF Documentation of the why3 verification platform
http://why3.lri.fr/
0
no reviews
Install
This package contains the tutorial and reference manual of the why3 verification platform in PDF format.