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