Topic Hub
#formal-mathematics (2 Repositories)
Ranked open-source repositories tagged with #formal-mathematics, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
29.3%
Avg Review Latency
66.1h
Filter by language
2 repositories tagged #formal-mathematics
B TierLELean 1.2k
google-deepmind/formal-conjectures
A collection of formalized statements of conjectures in Lean.
58.5%
Merge Rate
6d
First Review
50%
1st-Timers
32
Maintainers
D TierC++ 1.3k
lean-dojo/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
0.0%
Merge Rate
-
First Review
0%
1st-Timers
0
Maintainers