LeventErkok / sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
243Updated last week

Related projects

Alternatives and complementary repositories for sbv