why3-examples

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



This package contains examples, both of program verification tasks and pure logical verification tasks, for the why3 software verification platform.