openai/LongGapsBetweenPrimes
A Lean formalization of a bound concerning long gaps between primes
GitHub 
4.3K
lines of main code
4 files
0
lines of test code
0 files
0.2K
lines of other code
4 files
<1y
age
0 days
100%
main code touched
1 year (4.3K LOC)
ABCDE
ease of change
for people* (5/10)
ABCDE
ease of change
for AI* (4/9)
LEAN
4.2K
lean
0.09K
yaml
0.03K
toml
30 days 2026
+0
-0
+1
 
0

1

0

1

0

1

2026
Rule-of-thumb estimates

Rebuild value

to rebuild
rebuild value

Maintenance effort

per year to maintain
maintenance cost per year
Rules of thumb, not measurements: one man-year rebuilds about 10,000 lines of main code (design, testing and coordination included), and keeping a code base alive takes about 15% of its rebuild value per year (20 man-years of rebuild value need about 3 man-years of maintenance every year). Your changes are remembered in this browser for every report.