Linux Mint
My Places
Sign in
Community
Software
Users
Moderation
Beta Testing
ISO Images
Teams
why3-coq
Coq support for the why3 verification platform
http://why3.lri.fr/
0
no reviews
Install
This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform.