Repository navigation

Lean statement register: statement-only Mathlib specifications of the registered claims (171 claims, 150 declarations, zero theorems) - #419

Merged

d6g8k5htny-coder merged 4 commits into

mainfrom

claude/lean-specifications-20261010

Oct 12, 2026

Merged

Lean statement register: statement-only Mathlib specifications of the registered claims (171 claims, 150 declarations, zero theorems)#419
d6g8k5htny-coder merged 4 commits into
mainfrom
claude/lean-specifications-20261010

Commits on Oct 10, 2026
- Add the Lean statement register: statement-only Mathlib specifications of the registered claims
  claude
  committed
  fbd88d7
Commits on Oct 11, 2026
- Keep the statement-register fixture tests independent of the CI environment
  claude
  committed
  b2d70d7
- RN.lean: scope note on WitnessCollisionNearPinPairsTarget and nearPinPairCount (review 5483861746)
  claude
  committed
  873c6c0
Commits on Oct 12, 2026
- Merge current main into the frozen statement-only packet
  d6g8k5htny-coder
  committed
  ef56dca