# leanprover-community/iris-lean - GetMerged C-Rank™ Report

- **C-Rank™ Score**: 55.0 / 100
- **Responsiveness Tier**: Tier B
- **Primary Language**: Lean
- **GitHub Stars**: 213
- **Description**: Lean 4 port of Iris, a higher-order concurrent separation logic framework

## Contributor Metrics
- **Time to First Response**: ~157.9 hours
- **External PR Merge Rate**: 7542.4%
- **First-Timer Success Rate**: 6363.6%
- **Maintainers Active**: 11

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

---
Source: GetMerged Open Source Explorer (https://getmerged.abhishekco.de/leanprover-community/iris-lean)