Debian logoDebian Screenshots >

why3-coq

Coq support for the why3 verification platform

Description

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.


Homepage

http://why3.lri.fr/


Statistics

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.)