All pull requests

Pull requests

• Fix dev container: pin lean4game to a revision that exists

  #125·gustavdelius opened Sep 9, 2026·

  ·

• Typo in L01_SeqConvDef.lean

  #117·jvienney opened May 1, 2026·

  ·

• add explicit path for Linarith library

  #113·yunjiangster opened Mar 22, 2026·

  ·

• fix(L3L1): typo

  #111·ada4a opened Mar 8, 2026·

  ·
  1

• fix(L9L5): fix typo TermLtSum -> TermLeSum

  #110·ada4a opened Mar 8, 2026·

  ·
  1

• feat(L18Pset): drop unnecessary hypotheses

  #108·arajasek opened Feb 24, 2026Contributor·

  ·

• fix(L12Levels): correct Level Number in text

  #104·arajasek opened Feb 7, 2026Contributor·

  ·

• Update L02.lean

  #103·thomas-strohmann opened Jan 18, 2026Contributor·

  ·

• Refactor SqueezeThm statement to include N parameter

  #18·Roger-Zhou0 opened Oct 17, 2025·

  ·
  2