# sneeuwballen/zipperposition - GetMerged C-Rank™ Report

- **C-Rank™ Score**: 34.4 / 100
- **Responsiveness Tier**: Tier C
- **Primary Language**: OCaml
- **GitHub Stars**: 166
- **Description**: An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.

## Contributor Metrics
- **Time to First Response**: ~440.1 hours
- **External PR Merge Rate**: 7000.0%
- **First-Timer Success Rate**: 5000.0%
- **Maintainers Active**: 3

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

---
Source: GetMerged Open Source Explorer (https://getmerged.abhishekco.de/sneeuwballen/zipperposition)