Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Evidence for union-closed-family growth
verify/: An independently graded examination of the exact arXiv v1 F and F_k arguments, with source and premise boundaries.
The union-closed-family proof record retains the complete examined mathematical extraction, independent derivations and separate grade. No lattice-family or Lean conclusion follows from this record.
Linked from (2)
Graph