Topic Hub
#proof-checker (1 Repositories)
Ranked open-source repositories tagged with #proof-checker, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
79.8%
Avg Review Latency
1.2h
Filter by language
Rankings/rankings/ocaml
1 repositories tagged #proof-checker
S TierOCOCaml 398
Deducteam/lambdapi
Proof assistant based on the λΠ-calculus modulo rewriting
79.8%
Merge Rate
1h
First Review
67%
1st-Timers
9
Maintainers