Refresh generated project statistics and attribution

[Vilin97]

Regenerates README statistics and NOTICE from the accepted project cards and attribution notes. No proof sources change.

[greptile-apps]

Advisory cross-file review against Lean Pool's supervisory rubric. This is not by itself a significance, source-verification, or merge verdict.

[Low impact] This README-only update appears safe to merge.

Summary

Updates the generated Lean line count in README.md from 11,002,597 to 11,002,595.

• The README now shows 11,002,595 lines of Lean.

_{Reviews (1) · Last reviewed commit: "Refresh generated project statistics and..." · Reviewed by Greptile}