Trellis formalizations by others

Completed Trellis formalizations produced by others, collected here as public links. Listing here is not an endorsement of correctness; each is the work of its respective author. To have a completed formalization added, get in touch.

• An atomic decomposition of one-dimensional metric currents without boundary You-Wei Benson Chen, Jesse Goodman, Felipe Hernandez, Daniel Spector

  [paper] [github]

• A short proof of the Hajnal–Szemerédi theorem on equitable colouring H. A. Kierstead, A. V. Kostochka

  [paper] [github]

• The van der Waerden permanent lower bound G. P. Egorychev, D. I. Falikman

  [github]

• Finite entropy methods for matchings Jaikumar Radhakrishnan, Zur Luria

  [github]

• Strong starters and odd Klein-bottle queens

  [github]