LPPaver (hackage): Please see the README on GitHub at https://github.com/rasheedja/LPPaver#readme
Keywords: formal-methods|library|math|mathematics|maths|mpl|program|theorem-provers|verification|automatic-theorem-proving|haskell|theorem-prover|theorem-proving