anthropics/formal-math
Size, age and recent activity of the codebase.
GitHub 
183K
lines of main code
769 files
0.3K
lines of test code
2 files
1.5K
lines of other code
19 files
<1y
age
61 days
100%
main code touched
1 year (183K LOC)
ABCDE
ease of change
for people* (8/10)
ABCDE
ease of change
for AI* (7/9)
LEAN
182K
lean
0.6K
py
0.2K
yaml
0.2K
rb
0.07K
toml
30 days 2026
+103K
-0
+385K
-212K
438

2.2K

1

15

1

6

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.