Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Nov 19, 2025

• chore: move Mathlib to the module system (#31786)

  Show description for 6a54a80
  

  kim-em

  and

  Kha

  committed
  6a54a80

  Copy full SHA for 6a54a80

Commits on Nov 18, 2025

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

  Show description for 1988a78
  

  6 peoplecommitted
  1988a78

  Copy full SHA for 1988a78

Commits on Oct 23, 2025

• chore: revert #30788 and #30785 (#30807)

  bryangingechen

  authored
  4cc49eb

  Copy full SHA for 4cc49eb

Commits on Oct 22, 2025

• chore: revert #30740 and #30748 (#30788)

  Show description for 2521caa
  bryangingechen

  authored
  2521caa

  Copy full SHA for 2521caa

Commits on Oct 21, 2025

• chore: merge bump/v4.25.0 (#30740)

  kim-em

  authored
  258b485

  Copy full SHA for 258b485

Commits on Aug 15, 2024

• chore: create Mathlib.Init (#15811)

  Show description for 7307bae
  adomani

  committed
  7307bae

  Copy full SHA for 7307bae

Commits on Aug 9, 2024

• chore: cleaning up deprecations (#15637)

  kim-em

  committed
  f66b157

  Copy full SHA for f66b157

Commits on Aug 5, 2024

• chore: move toolchain to v4.11.0-rc1 (#15513)

  Show description for 5025874
  

  kim-em

  and

  jcommelin

  committed
  5025874

  Copy full SHA for 5025874

Commits on Jul 19, 2024

• chore: remove `import Mathlib.Mathport.Rename` (#14912)

  Show description for adeb0a5
  riccardobrasca

  committed
  adeb0a5

  Copy full SHA for adeb0a5

• chore: remove `#align` and `#align_import` statements (#14887)

  Show description for 465f26f
  

  kim-em

  and

  mattrobball

  committed
  465f26f

  Copy full SHA for 465f26f

Commits on Jun 5, 2024

• chore: fix names for String lemmas (#13525)

  kim-em

  committed
  c1e640b

  Copy full SHA for c1e640b

Commits on May 7, 2024

• further renaming Std->Batteries (#12727)

  Show description for 5cafc71
  kim-em

  committed
  5cafc71

  Copy full SHA for 5cafc71

• chore: update Std -> Batteries (#12720)

  Show description for 5e84313
  kim-em

  committed
  5e84313

  Copy full SHA for 5e84313

Commits on Apr 28, 2024

• feat: 'lake exe pole' computes the longest pole (#8361)

  Show description for 0e05cbe
  

  3 peoplecommitted
  0e05cbe

  Copy full SHA for 0e05cbe

Commits on Oct 11, 2023

• chore: bump std (#7602)

  Show description for 8de3e10
  kim-em

  committed
  8de3e10

  Copy full SHA for 8de3e10

Commits on Aug 21, 2023

• chore: bump Std4 (#6695)

  Show description for 8854804
  kim-em

  committed
  8854804

  Copy full SHA for 8854804

Commits on Jul 19, 2023

• chore: script to replace headers with #align_import statements (#5979)

  Show description for 89aa3a3
  

  kim-em

  and

  eric-wieser

  committed
  89aa3a3

  Copy full SHA for 89aa3a3

Commits on Jul 13, 2023

• chore: bump to nightly-2023-07-01 (#5409)

  Show description for 906f722
  

  5 peoplecommitted
  906f722

  Copy full SHA for 906f722

Commits on Jun 12, 2023

• chore: formatting issues (#4947)

  Show description for 5068808
  

  3 peoplecommitted
  5068808

  Copy full SHA for 5068808

Commits on May 17, 2023

• chore: bump dependencies (#4012)

  Show description for f513eb6
  

  5 peoplecommitted
  f513eb6

  Copy full SHA for f513eb6

Commits on May 16, 2023

• fix: add missing `#align` lines (#4021)

  chabulhwi

  committed
  e93b690

  Copy full SHA for e93b690

Commits on Apr 26, 2023

• doc: fix typo and omission (#3614)

  Show description for 8dafb51
  chabulhwi

  committed
  8dafb51

  Copy full SHA for 8dafb51

Commits on Apr 24, 2023

• feat: port Data.String.Defs (#3612)

  Show description for 4ddd292
  chabulhwi

  committed
  4ddd292

  Copy full SHA for 4ddd292

Commits on Apr 5, 2023

• feat: port Data.String.Basic (#1054)

  Show description for 0fdb96c
  

  7 peoplecommitted
  0fdb96c

  Copy full SHA for 0fdb96c

Commits on Apr 2, 2023

• feat: some string functions, doc-strings, copyright headers (#3220)

  Show description for 8bc80c9
  kim-em

  committed
  8bc80c9

  Copy full SHA for 8bc80c9

Commits on Nov 29, 2022

• feat: better name guessing for to_additive (#779)

  Show description for 24ac0e4
  

  fpvandoorn

  and

  kim-em

  committed
  24ac0e4

  Copy full SHA for 24ac0e4

Commits on Oct 24, 2022

• feat: align `init.{core, logic}` (#490)

  Show description for bc191fe
  

  digama0

  and

  kim-em

  committed
  bc191fe

  Copy full SHA for bc191fe

Commits on Sep 8, 2022

• chore: bump std4 09-08 (#403)

  Show description for 6a081f5
  digama0

  committed
  6a081f5

  Copy full SHA for 6a081f5

Commits on Mar 1, 2022

• chore: bump to nightly-2022-03-01 (#216)

  gebner

  committed
  f472efc

  Copy full SHA for f472efc

Commits on Dec 9, 2021

• feat(*): some auxiliary definitions for toAdditive (#112)

  Show description for cc793ef
  fpvandoorn

  committed
  cc793ef

  Copy full SHA for cc793ef

Commits on Oct 12, 2021

• feat(List/String leftpad) (#66)

  ammkrn

  authored
  fded094

  Copy full SHA for fded094

Loading