why3-coq

Coq support for the why3 verification platform
  http://why3.lri.fr/
  0
  no reviews



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