Topic Hub
#proof-general (1 Repositories)
Ranked open-source repositories tagged with #proof-general, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
0.0%
Avg Review Latency
0.0h
Filter by language
Rankings/rankings/emacs-lisp
1 repositories tagged #proof-general
D TierEMEmacs Lisp 361
cpitclaudel/company-coq
A Coq IDE build on top of Proof General's Coq mode
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers