Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 14, 2025

• Merge pull request #25 from leanprover/bump_to_v4.16.0-rc2

  Show description for d835296
  kim-em

  authored
  d835296

  Copy full SHA for d835296

• chore: bump to v4.16.0-rc2

  kim-em

  committed
  7ec5987

  Copy full SHA for 7ec5987

• Merge pull request #24 from leanprover/bump_to_v4.15.0

  Show description for 8314a3c
  kim-em

  authored
  8314a3c

  Copy full SHA for 8314a3c

• chore: bump toolchain to v4.15.0

  kim-em

  committed
  385d01e

  Copy full SHA for 385d01e

• Merge pull request #23 from leanprover/bump_to_v4.14.0

  Show description for 255c042
  kim-em

  authored
  255c042

  Copy full SHA for 255c042

• chore: bump toolchain to v4.14.0

  kim-em

  committed
  ee38b7c

  Copy full SHA for ee38b7c

Commits on Nov 5, 2024

• Merge branch 'nightly'

  mhuisi

  committed
  0c8ea32

  Copy full SHA for 0c8ea32

• chore: bump nightly

  mhuisi

  committed
  e49e6a6

  Copy full SHA for e49e6a6

Commits on Nov 4, 2024

• Merge pull request #21 from leanprover/bump_to_v4.14.0-rc1

  Show description for 726b3c9
  kim-em

  authored
  726b3c9

  Copy full SHA for 726b3c9

• chore: adaptations for v4.14.0-rc1

  kim-em

  committed
  f905412

  Copy full SHA for f905412

Commits on Oct 28, 2024

• fix: update for lean4#5842 (#19)

  Show description for 039d23a
  kmill

  authored
  039d23a

  Copy full SHA for 039d23a

Commits on Jul 10, 2024

• Merge branch 'nightly'

  mhuisi

  committed
  2cf1030

  Copy full SHA for 2cf1030

• chore: switch to lakefile.toml

  mhuisi

  committed
  bf066c3

  Copy full SHA for bf066c3

• chore: bump nightly

  mhuisi

  committed
  8b1b1ac

  Copy full SHA for 8b1b1ac

Commits on Apr 25, 2024

• Merge branch 'nightly'

  mhuisi

  committed
  a115660

  Copy full SHA for a115660

• chore: update nightly version and add lake-manifest.json

  mhuisi

  committed
  10d88b5

  Copy full SHA for 10d88b5

Commits on Mar 6, 2024

• doc: link to lake in lean4 in README

  Show description for be8fa79
  mhuisi

  authored
  be8fa79

  Copy full SHA for be8fa79

Commits on Sep 21, 2023

• Merge branch 'nightly'

  mhuisi

  committed
  a751d21

  Copy full SHA for a751d21

• doc: adjust README for move to leanprover

  mhuisi

  committed
  39229f3

  Copy full SHA for 39229f3

• chore: update toolchain to first stable release

  mhuisi

  committed
  2245a1d

  Copy full SHA for 2245a1d

• Merge branch 'nightly'

  mhuisi

  committed
  afe1270

  Copy full SHA for afe1270

• chore: update action

  mhuisi

  committed
  1d0770c

  Copy full SHA for 1d0770c

Commits on Aug 27, 2023

• doc: fix minor errors in README

  mhuisi

  committed
  21dac2e

  Copy full SHA for 21dac2e

• chore: bump to nightly-2023-08-23 (#16)

  kim-em

  authored
  e6f4904

  Copy full SHA for e6f4904

Commits on Aug 24, 2023

• chore: adjust README

  mhuisi

  committed
  b25b443

  Copy full SHA for b25b443

• feat: handle more `ModuleName` edge cases & add tests

  mhuisi

  committed
  8076815

  Copy full SHA for 8076815

• feat: ParseableType ModuleName supporting paths or module identifiers (#15)

  kim-em

  authored
  4a59ea4

  Copy full SHA for 4a59ea4

Commits on Nov 20, 2022

• chore: bump nightly-2022-11-20

  mhuisi

  committed
  5a858c3

  Copy full SHA for 5a858c3

Commits on Nov 1, 2022

• chore: move all util functions into Cli namespace to resolve name clashes & bump toolchain

  mhuisi

  committed
  cf98018

  Copy full SHA for cf98018

Commits on Oct 20, 2022

• Merge pull request #13 from digama0/nightly

  Show description for b88b0ab
  mhuisi

  authored
  b88b0ab

  Copy full SHA for b88b0ab

• chore: bump lean 10-20

  digama0

  committed
  2b84cd4

  Copy full SHA for 2b84cd4

Commits on Sep 28, 2022

• chore: update to most recent nightly, Std moved to Lean

  mhuisi

  committed
  80b783a

  Copy full SHA for 80b783a

Commits on Sep 1, 2022

• chore: update to most recent nightly, Bootstrap moved to Lean

  mhuisi

  committed
  1f844d9

  Copy full SHA for 1f844d9

Commits on Aug 30, 2022

• chore: update to most recent nightly, Std moved to Bootstrap

  mhuisi

  committed
  8fa311b

  Copy full SHA for 8fa311b

Commits on Aug 11, 2022

• chore: resolve conflicts & update toolchain version to m5

  mhuisi

  committed
  634cd9b

  Copy full SHA for 634cd9b

Pagination

Previous

Next