@hackage / atp-haskell

Translation from Ocaml to Haskell of John Harrison's ATP code

Latest1.14.3

Changelog

This release does not have a Changelog