Topic Hub
#formal-mathematics (3 Repositories)
Ranked open-source repositories tagged with #formal-mathematics, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
64.4%
Avg Review Latency
17.4h
Filter by language
3 repositories tagged #formal-mathematics
A TierLELean 1.2k 11 GFIs
google-deepmind/formal-conjectures
A collection of formalized statements of conjectures in Lean.
43.2%
Merge Rate
5h
First Review
35%
1st-Timers
91
Maintainers
B TierPython 117
leanprover-community/LeanProject
A template for blueprint-driven formalization projects in Lean.
100.0%
Merge Rate
23h
First Review
100%
1st-Timers
2
Maintainers
B TierC++ 1.3k
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
50.0%
Merge Rate
1d
First Review
0%
1st-Timers
0
Maintainers