Linux Mint
My Places
Sign in
Community
Software
Users
Moderation
Beta Testing
ISO Images
Teams
why3-doc-html
HTML 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 HTML format.