allaun/Research-Stack
1
0
Fork 0
mirror of https://github.com/allaunthefox/Research-Stack.git synced 2026-08-13 11:40:35 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix(lean): correct sorry inventory count in §12 (10 → 12)

Browse source 
Co-Authored-By: Allaun Silverfox <bigdataiscoming+9i37y6j2@protonmail.com>
This commit is contained in:
Devin AI 2026-06-15 01:17:58 +00:00
parent 38b61fc790
commit a591baeb8c
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
0-Core-Formalism/lean/Semantics/Semantics/E8Sidon.lean
View file

@ -417,7 +417,7 @@ theorem fiber_partition (S : Finset ℕ) (s : ℕ) :
|------|------|--------|--------|
| `e8_additive_completeness` | §10 | axiom | Open problem in additive combinatorics |
### Sorry inventory (10 total, all with TODO(lean-port))
### Sorry inventory (12 total, all with TODO(lean-port))
| Item | Line | Blocked on |
|------|------|------------|