Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 18, 2025

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

  kim-em

  authored
  00fad25

  Copy full SHA for 00fad25

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

  kim-em

  authored
  cd188c6

  Copy full SHA for cd188c6

Commits on Nov 14, 2025

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

  kim-em

  authored
  1dae8b1

  Copy full SHA for 1dae8b1

Commits on Oct 22, 2025

• chore: bump toolchain to v4.25.0-rc2 (#60)

  kim-em

  authored
  72ae700

  Copy full SHA for 72ae700

Commits on Oct 21, 2025

• chore: bump toolchain to v4.25.0-rc1 (#59)

  kim-em

  authored
  f75f492

  Copy full SHA for f75f492

Commits on Oct 14, 2025

• chore: bump toolchain to v4.24.0 (#58)

  kim-em

  authored
  91c18fa

  Copy full SHA for 91c18fa

Commits on Sep 26, 2025

• chore: remove utils now in Std (#57)

  kim-em

  authored
  00b91fa

  Copy full SHA for 00b91fa

Commits on Sep 15, 2025

• chore: bump toolchain to v4.24.0-rc1 (#55)

  kim-em

  authored
  b62fd39

  Copy full SHA for b62fd39

Commits on Sep 14, 2025

• chore: bump toolchain to v4.23.0 (#54)

  kim-em

  authored
  41c5d0b

  Copy full SHA for 41c5d0b

Commits on Sep 1, 2025

• chore: run tests in ci (#53)

  Show description for f0455e3
  mhuisi

  authored
  f0455e3

  Copy full SHA for f0455e3

• fix: varargs (#52)

  Show description for 9899dba
  mhuisi

  authored
  9899dba

  Copy full SHA for 9899dba

Commits on Aug 15, 2025

• chore: bump toolchain to v4.23.0-rc2 (#49)

  kim-em

  authored
  cacb481

  Copy full SHA for cacb481

Commits on Aug 14, 2025

• chore: bump toolchain to v4.23.0-rc1 (#48)

  Show description for 6667b92
  kim-em

  authored
  6667b92

  Copy full SHA for 6667b92

Commits on Jul 24, 2025

• chore: bump toolchain to v4.22.0-rc4 (#47)

  Show description for c682c91
  kim-em

  authored
  c682c91

  Copy full SHA for c682c91

Commits on Jul 4, 2025

• chore: bump toolchain to v4.22.0-rc3 (#46)

  Show description for e22ed08
  kim-em

  authored
  e22ed08

  Copy full SHA for e22ed08

Commits on Jun 30, 2025

• chore: bump toolchain to v4.22.0-rc2 (#45)

  Show description for a873322
  kim-em

  authored
  a873322

  Copy full SHA for a873322

• chore: bump toolchain to v4.22.0-rc1 (#44)

  Show description for 31714b4
  kim-em

  authored
  31714b4

  Copy full SHA for 31714b4

• Merge pull request #43 from leanprover/bump_to_v4.21.0

  Show description for 7c6aef5
  kim-em

  authored
  7c6aef5

  Copy full SHA for 7c6aef5

• chore: bump toolchain to v4.21.0

  kim-em

  committed
  73f293f

  Copy full SHA for 73f293f

Commits on Jun 5, 2025

• chore: make forward-compatible with leanprover/lean4#8598 (#42)

  Kha

  authored
  1604206

  Copy full SHA for 1604206

Commits on Jun 4, 2025

• chore: bump toolchain to v4.21.0-rc3 (#41)

  Vierkantor

  authored
  a0abd47

  Copy full SHA for a0abd47

Commits on Jun 3, 2025

• Merge pull request #40 from leanprover/bump_to_v4.21.0-rc2

  Show description for f73de1d
  Vierkantor

  authored
  f73de1d

  Copy full SHA for f73de1d

• chore: bump toolchain to v4.21.0-rc2

  Vierkantor

  committed
  a86bc9b

  Copy full SHA for a86bc9b

Commits on Jun 2, 2025

• Merge pull request #39 from leanprover/bump_to_v4.21.0-rc1

  Show description for 1606fed
  Vierkantor

  authored
  1606fed

  Copy full SHA for 1606fed

• chore: bump toolchain to v4.21.0-rc1

  Vierkantor

  committed
  81a7fb6

  Copy full SHA for 81a7fb6

• Merge pull request #38 from leanprover/bump_to_v4.20.0

  Show description for f9e25dc
  Vierkantor

  authored
  f9e25dc

  Copy full SHA for f9e25dc

• chore: bump toolchain to v4.20.0

  Vierkantor

  committed
  96d5b3b

  Copy full SHA for 96d5b3b

Commits on May 2, 2025

• Merge pull request #37 from leanprover/bump_to_v4.20.0-rc2

  Show description for 4f22c09
  kim-em

  authored
  4f22c09

  Copy full SHA for 4f22c09

• chore: bump toolchain to v4.20.0-rc2

  kim-em

  committed
  8734eef

  Copy full SHA for 8734eef

Commits on May 1, 2025

• Merge pull request #36 from leanprover/bump_to_v4.20.0-rc1

  Show description for 109481e
  kim-em

  authored
  109481e

  Copy full SHA for 109481e

• chore: bump toolchain to v4.20.0-rc1

  kim-em

  committed
  c83f7c0

  Copy full SHA for c83f7c0

• Merge pull request #35 from leanprover/bump_to_v4.19.0

  Show description for 02dbd02
  kim-em

  authored
  02dbd02

  Copy full SHA for 02dbd02

• chore: bump toolchain to v4.19.0

  kim-em

  committed
  407bb6f

  Copy full SHA for 407bb6f

Commits on Apr 28, 2025

• doc: update README.md (#34)

  seanmcl

  authored
  80ab352

  Copy full SHA for 80ab352

Commits on Apr 3, 2025

• Merge pull request #33 from leanprover/bump_to_v4.19.0-rc2

  Show description for aff4176
  kim-em

  authored
  aff4176

  Copy full SHA for aff4176

Pagination

Previous

Next