All pull requests

Pull requests

• chore: fix the remaining one-line linter warnings

  #5·Kim Morrison (kim-em) opened Oct 31, 2026·

  ·

• chore: remove redundant expose attributes on private definitions

  #4·Kim Morrison (kim-em) opened Oct 31, 2026·

  ·

• fix: replace deprecated Mathlib imports

  #3·Kim Morrison (kim-em) opened Oct 31, 2026·

  ·

• chore: remove expose attributes that have no effect

  #2·Kim Morrison (kim-em) opened Oct 31, 2026·

  ·

• fix: replace deprecated push_neg with push Not

  #1·Kim Morrison (kim-em) opened Oct 30, 2026·

  ·
  1