Commits

Breadcrumbs

History for

onmain

User selector

All users

All time

Commit History

Commits on Jan 3, 2026

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

  fgdorais

  authored
  01aa239

  Copy full SHA for 01aa239

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 Nov 9, 2025

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

  Show description for 65d5bc0
  

  kim-em

  and

  fgdorais

  authored
  65d5bc0

  Copy full SHA for 65d5bc0

Commits on Oct 22, 2025

• chore: move to the module system (#1475)

  Show description for c44068f
  

  22 peopleauthored
  c44068f

  Copy full SHA for c44068f

Commits on Oct 9, 2025

• chore: replace `ByteSubarray` with `ByteSlice` (#1443)

  fgdorais

  authored
  a05c7c7

  Copy full SHA for a05c7c7

Commits on Aug 6, 2025

• feat: add code action to generate `match` cases (#1307)

  Show description for a8aacd1
  

  MoritzBeroRoos

  and

  fgdorais

  authored
  a8aacd1

  Copy full SHA for a8aacd1

Commits on Aug 4, 2025

• chore: deprecate old comparison classes (#1306)

  fgdorais

  authored
  43c277c

  Copy full SHA for 43c277c

Commits on Jul 23, 2025

• feat: Laws for `MonadStateOf` instances (#1313)

  dtumad

  authored
  f109923

  Copy full SHA for f109923

Commits on Jun 2, 2025

• chore: bump toolchain to v4.21.0-rc1 (#1256)

  Show description for 3aafa48
  

  17 peopleauthored
  3aafa48

  Copy full SHA for 3aafa48

Commits on Mar 18, 2025

• chore: remove >6 month old deprecations (#1164)

  kim-em

  authored
  71c6442

  Copy full SHA for 71c6442

Commits on Mar 12, 2025

• feat: Laws for monads with `Alternative` instances. (#1152)

  Show description for 5105c4f
  

  3 peopleauthored
  5105c4f

  Copy full SHA for 5105c4f

Commits on Mar 4, 2025

• feat: add BitVec.ofFn and lemmas (#1078)

  Show description for b8e1430
  

  fgdorais

  and

  kim-em

  authored
  b8e1430

  Copy full SHA for b8e1430

Commits on Feb 10, 2025

• feat: add `LawfulMonadLift` (#1125)

  Show description for 309e155
  

  quangvdao

  and

  kim-em

  authored
  309e155

  Copy full SHA for 309e155

Commits on Feb 7, 2025

• feat: proofs for Batteries.Data.Array/Vector.Monadic (#1109)

  Show description for 24cbb07
  

  5 peopleauthored
  24cbb07

  Copy full SHA for 24cbb07

Commits on Jan 30, 2025

• feat: add `Int.ofBits` (#1096)

  fgdorais

  authored
  9a3a71e

  Copy full SHA for 9a3a71e

Commits on Jan 9, 2025

• feat: add further API about `Lean.NameSet` (#1091)

  grunweg

  authored
  66225aa

  Copy full SHA for 66225aa

Commits on Jan 4, 2025

• feat: add Mersenne Twister PRNG (#984)

  fgdorais

  authored
  e7b34e9

  Copy full SHA for e7b34e9

• chore: bump toolchain to v4.16.0-rc1 (#1081)

  Show description for 8ce422e
  

  3 peopleauthored
  8ce422e

  Copy full SHA for 8ce422e

Commits on Dec 22, 2024

• feat: add `#print opaques` command (#966)

  fgdorais

  authored
  f007bfe

  Copy full SHA for f007bfe

Commits on Dec 2, 2024

• chore: move to v4.15.0-rc1, and merge bump/v4.15.0 branch (#1073)

  Show description for 7805acf
  

  8 peopleauthored
  7805acf

  Copy full SHA for 7805acf

Commits on Nov 13, 2024

• chore: remove >6 month old deprecations (#1044)

  kim-em

  authored
  e2b30dc

  Copy full SHA for e2b30dc

• feat: sugar for SatisfiesM (#1029)

  Show description for 11da075
  

  kim-em

  and

  digama0

  authored
  11da075

  Copy full SHA for 11da075

Commits on Nov 5, 2024

• chore: turn batteries tests into a library (#1024)

  Show description for af73110
  

  blizzard_inc

  and

  edegeltje

  authored
  af73110

  Copy full SHA for af73110

Commits on Nov 4, 2024

• feat: add `drop` and `take` for streams (#985)

  fgdorais

  authored
  401646a

  Copy full SHA for 401646a

• chore: move toolchain to v4.14.0-rc1 (#1023)

  Show description for 76e9ebe
  

  8 peopleauthored
  76e9ebe

  Copy full SHA for 76e9ebe

Commits on Oct 27, 2024

• feat: add `#help note` command (#948)

  Show description for 4d2cb85
  

  3 peopleauthored
  4d2cb85

  Copy full SHA for 4d2cb85

Commits on Oct 19, 2024

• feat: add `trans` tactic (#1001)

  fgdorais

  authored
  1013079

  Copy full SHA for 1013079

Commits on Oct 16, 2024

• feat: add `#help` commands (#969)

  fgdorais

  authored
  422d1a5

  Copy full SHA for 422d1a5

Commits on Oct 14, 2024

• chore: move panicWith out of UnionFind (#983)

  fgdorais

  authored
  ad3ba5f

  Copy full SHA for ad3ba5f

Commits on Oct 3, 2024

• chore: move to v4.13.0-rc1 (#979)

  Show description for fc871f7
  

  7 peopleauthored
  fc871f7

  Copy full SHA for fc871f7

Commits on Sep 10, 2024

• chore: remove >6 month deprecations (#945)

  kim-em

  authored
  46fed98

  Copy full SHA for 46fed98

Commits on Sep 9, 2024

• feat: add `map` and `mapM` for scalar array types (#902)

  fgdorais

  authored
  afe9c5c

  Copy full SHA for afe9c5c

Commits on Sep 3, 2024

• chore: merge bump/v4.12.0, moving toolchain to v4.12.0-rc1 (#942)

  Show description for fa571ea
  

  8 peopleauthored
  fa571ea

  Copy full SHA for fa571ea

Commits on Aug 16, 2024

• feat: add lemma code-action (#625)

  Show description for d309157
  

  adomani

  and

  fgdorais

  authored
  d309157

  Copy full SHA for d309157

• feat: statically sized Vector type (#793)

  Show description for 5f405b1
  

  3 peopleauthored
  5f405b1

  Copy full SHA for 5f405b1

Pagination

Previous

Next