Topic Hub

#theorem-proving (4 Repositories)

Ranked open-source repositories tagged with #theorem-proving, scored by pull request acceptance likelihood and maintainer engagement velocity.

Topic Avg Merge Rate

19.8%

Avg Review Latency

16.8h

Filter by language

Rankings/rankings/ocaml /rankings/lean /rankings/scala /rankings/cpp

4 repositories tagged #theorem-proving

B TierOCOCaml 5.5k

rocq-prover/rocq

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.

66.5%

Merge Rate

First Review

58%

1st-Timers

Maintainers

View Scorecard

B TierLELean 700 38 GFIs