Topic Hub
#interactive-theorem-proving (2 Repositories)
Ranked open-source repositories tagged with #interactive-theorem-proving, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
37.0%
Avg Review Latency
0.0h
Filter by language
Rankings/rankings/ocaml
2 repositories tagged #interactive-theorem-proving
B TierOCOCaml 208
rocq-community/rocq-lsp
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
73.9%
Merge Rate
-
First Review
100%
1st-Timers
0
Maintainers
D TierOCOCaml 100
abella-prover/abella
An interactive theorem prover based on lambda-tree syntax
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers