https://github.com/leventerkok/sbvplugin
Formally prove properties of Haskell programs using SBV/SMT.
haskell
sbv
smt
verification
Added: over 1 year ago - Last Synced: 11 months ago
- Created: November 09, 2015
- Relevant topics? true
- External users? true
- Open source license? true
- Active? true
- Fork? false
- Main Language: Haskell
- Commits: 448
- Committers: 6
- Issues: 25
- Pull Requests: 3
- Owner: LeventErkok
- Stars: 44
- Forks: 7
- Packages: 1
- Downloads: 6,173
