Topic Hub
#leanprover (1 Repositories)
Ranked open-source repositories tagged with #leanprover, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
64.3%
Avg Review Latency
196.9h
Filter by language
Rankings/rankings/lua
1 repositories tagged #leanprover
B TierLua 565
Julian/lean.nvim
Neovim support for the Lean theorem prover
64.3%
Merge Rate
8d
First Review
100%
1st-Timers
3
Maintainers