Debian logoDebian Screenshots >


Coq support for the why3 verification platform


This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform, as well as the why3 tactic for coq.

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.



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