Skip to content

doyougnu/sbv

About

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

Resources

License

Stars

Watchers

Forks

Packages

 
 
 

Contributors

Languages

  • Haskell 99.8%
  • Makefile 0.2%