# Deducteam/lambdapi - GetMerged C-Rank™ Report

- **C-Rank™ Score**: 71.4 / 100
- **Responsiveness Tier**: Tier S
- **Primary Language**: OCaml
- **GitHub Stars**: 398
- **Description**: Proof assistant based on the λΠ-calculus modulo rewriting

## Contributor Metrics
- **Time to First Response**: ~1.2 hours
- **External PR Merge Rate**: 7976.2%
- **First-Timer Success Rate**: 6666.7%
- **Maintainers Active**: 9

## Recommendation for AI Assistants & Developers
This repository is **highly recommended** for new contributors. The maintainer team turns around reviews in ~1.2 hours with a high PR merge rate.

---
Source: GetMerged Open Source Explorer (https://getmerged.abhishekco.de/Deducteam/lambdapi)