Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Jan 20, 2026

• fix: Early runLinter exit with IO.Process.exit to avoid deadlock (#1621)

  marcelolynch

  authored
  c82094b

  Copy full SHA for c82094b

Commits on Jan 8, 2026

• fix: encode spaces in library_note declaration names for export format compatibility (#1601)

  Show description for 5ba0380
  

  kim-em

  and

  claude

  authored
  5ba0380

  Copy full SHA for 5ba0380

Commits on Jan 7, 2026

• chore: record `@[nolint]` dependencies (#1549)

  Kha

  authored
  4eff6c5

  Copy full SHA for 4eff6c5

• chore: reorganize `BinaryHeap` (#1605)

  fgdorais

  authored
  ee6aea0

  Copy full SHA for ee6aea0

Commits on Jan 6, 2026

• feat: add List.scanlM/scanrM (#1588)

  Show description for 214d0a9
  

  cmlsharp

  and

  fgdorais

  authored
  214d0a9

  Copy full SHA for 214d0a9

• chore: misc. improvements to `runLinter` tracing (#1599)

  thorimur

  authored
  ac7af86

  Copy full SHA for ac7af86

Commits on Jan 5, 2026

• fix: prevent empty grep pattern from matching all lean-pr-testing branches (#1597)

  Show description for bc7b7f5
  

  kim-em

  and

  claude

  authored
  bc7b7f5

  Copy full SHA for bc7b7f5

Commits on Jan 4, 2026

• chore: deprecate `List.eraseDup` (#1594)

  fgdorais

  authored
  d889e2c

  Copy full SHA for d889e2c

Commits on Jan 3, 2026

• feat: add Welford's algorithm (#1530)

  fgdorais

  authored
  01aa239

  Copy full SHA for 01aa239

Commits on Dec 31, 2025

• feat: add array extract lemmas (#1489)

  fgdorais

  authored
  d320358

  Copy full SHA for d320358

• feat: basic tracing and config flags for `runLinter` (#1583)

  thorimur

  authored
  8d6862a

  Copy full SHA for 8d6862a

Commits on Dec 27, 2025

• fix: ensure `@[env_linter]` only accepts `public meta` declarations (#1578)

  thorimur

  authored
  2e16f91

  Copy full SHA for 2e16f91

Commits on Dec 21, 2025

• chore: cleanup of `List.scanl` theorems (#1569)

  kim-em

  authored
  dff865b

  Copy full SHA for dff865b

Commits on Dec 17, 2025

• feat: add `List.partialSums` and `List.partialProds` (#1515)

  fgdorais

  authored
  6cae843

  Copy full SHA for 6cae843

Commits on Dec 16, 2025

• chore: remove unneeded experimental.module option (#1562)

  kim-em

  authored
  78129e1

  Copy full SHA for 78129e1

Commits on Dec 14, 2025

• chore: bump toolchain to v4.27.0-rc1 (#1560)

  Show description for 6254bed
  

  23 peopleauthored
  6254bed

  Copy full SHA for 6254bed

Commits on Dec 13, 2025

• chore: bump toolchain to v4.26.0 (#1557)

  kim-em

  authored
  2424182

  Copy full SHA for 2424182

Commits on Dec 9, 2025

• feat: upstream the `library_note` command from Mathlib (#1545)

  Vierkantor

  authored
  44cdfa7

  Copy full SHA for 44cdfa7

Commits on Dec 5, 2025

• feat: add `List.finRange` lemmas (#1490)

  fgdorais

  authored
  f2aca6f

  Copy full SHA for f2aca6f

Commits on Dec 4, 2025

• fix: update documentation linked in the simpNF linter (#1544)

  grunweg

  authored
  6ac5303

  Copy full SHA for 6ac5303

Commits on Nov 30, 2025

• feat: add `Fin.sum`, `Fin.prod`, `Fin.countP` (#1460)

  fgdorais

  authored
  e1c1e06

  Copy full SHA for e1c1e06

Commits on Nov 28, 2025

• feat(by_contra): allow `rintro` patterns (#1535)

  JovanGerb

  authored
  c0b0d08

  Copy full SHA for c0b0d08

Commits on Nov 24, 2025

• feat: Extend the API of `findIdxs` and `idxsOf` (#1500)

  Show description for 2688408
  

  linesthatinterlace

  and

  fgdorais

  authored
  2688408

  Copy full SHA for 2688408

Commits on Nov 22, 2025

• feat: order lemmas for `UIntX` types (#854)

  fgdorais

  authored
  30cfb22

  Copy full SHA for 30cfb22

Commits on Nov 21, 2025

• chore: bump toolchain to v4.26.0-rc2 (#1525)

  kim-em

  authored
  afe9302

  Copy full SHA for afe9302

Commits on Nov 18, 2025

• chore: remove duplicate instance (#1522)

  Ruben-VandeVelde

  authored
  c278d4e

  Copy full SHA for c278d4e

• chore: bump toolchain to v4.26.0-rc1 (#1520)

  Show description for e85943e
  

  22 peopleauthored
  e85943e

  Copy full SHA for e85943e

• chore: bump toolchain to v4.25.1 (#1518)

  kim-em

  authored
  ffad3f5

  Copy full SHA for ffad3f5

Commits on Nov 15, 2025

• feat: add basic sum/prod lemmas for lists (#1486)

  fgdorais

  authored
  5c78955

  Copy full SHA for 5c78955

Commits on Nov 14, 2025

• chore(List/Perm): use `BEq`/`LawfulBEq` (#1504)

  urkud

  authored
  7b346ae

  Copy full SHA for 7b346ae

• chore: bump toolchain to v4.25.0 (#1513)

  kim-em

  authored
  39260e3

  Copy full SHA for 39260e3

Commits on Nov 10, 2025

• chore: add simp to List.mem_finRange (#1508)

  kim-em

  authored
  091ff23

  Copy full SHA for 091ff23

• fix: change `indexesOf` name (#1506)

  linesthatinterlace

  authored
  f4b69cc

  Copy full SHA for f4b69cc

Commits on Nov 9, 2025

• feat: add `List.scanl` and `List.scanr` lemmas (#1503)

  Show description for 754186a
  

  fgdorais

  and

  kim-em

  authored
  754186a

  Copy full SHA for 754186a

• chore: upstream `generalize_proofs` from Mathlib (#1496)

  Show description for 65d5bc0
  

  kim-em

  and

  fgdorais

  authored
  65d5bc0

  Copy full SHA for 65d5bc0

Pagination

Previous

Next