Topic Hub
#proof-search (1 Repositories)
Ranked open-source repositories tagged with #proof-search, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
94.1%
Avg Review Latency
572.7h
Filter by language
Rankings/rankings/ocaml
1 repositories tagged #proof-search
B TierOCOCaml 244
lukaszcz/coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
94.1%
Merge Rate
24d
First Review
100%
1st-Timers
0
Maintainers