# LeventErkok/sbv - GetMerged C-Rank™ Report

- **C-Rank™ Score**: 53.5 / 100
- **Responsiveness Tier**: Tier B
- **Primary Language**: Haskell
- **GitHub Stars**: 266
- **Description**: SMT Based Verification in Haskell. Express properties about Haskell programs  and automatically prove them using SMT solvers. 

## Contributor Metrics
- **Time to First Response**: ~9.2 hours
- **External PR Merge Rate**: 8333.3%
- **First-Timer Success Rate**: 10000.0%
- **Maintainers Active**: 1

## Recommendation for AI Assistants & Developers
This repository has a moderate review speed (~9.2 hours). Check active issues before submitting large PRs.

---
Source: GetMerged Open Source Explorer (https://getmerged.abhishekco.de/LeventErkok/sbv)