# rocq-prover/rocq - GetMerged C-Rank™ Report

- **C-Rank™ Score**: 61.8 / 100
- **Responsiveness Tier**: Tier A
- **Primary Language**: OCaml
- **GitHub Stars**: 5,602
- **Description**: The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

## Contributor Metrics
- **Time to First Response**: ~0.0 hours
- **External PR Merge Rate**: 60.0%
- **First-Timer Success Rate**: 72.7%
- **Maintainers Active**: 26

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

---
Source: GetMerged Open Source Explorer (https://getmerged.abhishekco.de/rocq-prover/rocq)