Sbv Resources Save

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

Overview
Reviews
Resources

No resources for this project.

Add resource

Open Source Agenda Badge

<a href="https://www.opensourceagenda.com/projects/sbv"><img src="https://www.opensourceagenda.com/projects/sbv/reviews/badge.svg" alt="Open Source Agenda"></a>

Submit Resource Articles, Courses, Videos

From the blog

Dec 11, 2022

Sbv Resources Save

Open Source Agenda Badge

From the blog

How to Choose Which Programming Language to Learn First?