SBV

https://github.com/leventerkok/sbv

SBV is a Haskell library that provides symbolic values for program verification, allowing users to...

Tokens:51,365
Snippets:197
Trust Score:8.3
License:BSD-3-Clause
Update:8 months ago
Tokens:
Raw