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