@hackage / why3

Haskell support for the Why3 input format.

Latest0.8

Changelog

0.8

  • Initial public release