Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 14, 2024

• fix: set check level correctly during workflow (leanprover#5344)

  thorimur

  authored
  5eea835

• feat: allow addition of release-ci label via comment (leanprover#5343)

  thorimur

  authored
  60bb451

Commits on Sep 13, 2024

• fix: invalid namespace completions (leanprover#5322)

  mhuisi

  authored
  f989520

• refactor: tag Iff.refl with @[refl] (leanprover#5329)

  Parcly-Taxel

  authored
  626dda9

• chore: remove confusing test

  Kha

  authored
  5f789e6

• fix: inaccessible pattern vars reported as binders (leanprover#5337)

  Kha

  authored
  438061a

• feat: @[builtin_doc] attribute (part 2) (leanprover#3918)

  digama0

  authored
  ec98c92

• feat: (DHashMap|HashMap|HashSet).(getKey?|getKey|getKey!|getKeyD) (leanprover#5244)

  hargoniX

  authored
  2080fc0

Commits on Sep 12, 2024

• feat: completion fallback (leanprover#5299)

  mhuisi

  authored
  b343795

• feat: toNat_sub_of_le (leanprover#5314)

  bollu

  authored
  273b754

• feat: add ediv_nonneg_of_nonpos_of_nonpos to DivModLemmas (leanprover#5320)

  

  sakehl

  and

  kim-em

  authored
  b875627

• chore: add Nat.self_sub_mod lemma (leanprover#5306)

  kim-em

  authored
  adfd6c0

• feat: provide mergeSort comparator autoParam (leanprover#5302)

  kim-em

  authored
  da0d309

• feat: List.tail lemma (leanprover#5316)

  kim-em

  authored
  87fdd78

Commits on Sep 11, 2024

• feat: more basic BitVec ordering theory for UInt (leanprover#5313)

  hargoniX

  authored
  8fd6e46

• fix: changing whitespace after module header may break subsequent commands (leanprover#5312)

  Kha

  authored
  0602b80

• chore: fix List.countP lemmas (leanprover#5311)

  kim-em

  authored
  0b7debe

• chore: fix List.all/any lemmas (leanprover#5310)

  kim-em

  authored
  f5146c6

• chore: restoring Option simp confluence (leanprover#5307)

  kim-em

  authored
  461283e

• chore: rename Nat bitwise lemmas (leanprover#5305)

  kim-em

  authored
  27bf736

• chore: rename Int.div/mod to tdiv/tmod (leanprover#5301)

  kim-em

  authored
  d4cc934

• chore: Array.not_mem_empty (leanprover#5304)

  kim-em

  authored
  b88cdf6

• feat: more List.findIdx theorems (leanprover#5300)

  kim-em

  authored
  325a058

Commits on Sep 10, 2024

• feat: BitVec unsigned order theoretic results (leanprover#5297)

  hargoniX

  authored
  f869018

• chore: remove debug.byAsSorry

  kim-em

  committed
  c1da100

• chore: update stage0

  kim-em

  committed
  6c97c4c

• chore: upstream Zero and NeZero

  kim-em

  committed
  c209d0d

• chore: debug.byAsSorry on broken proofs

  kim-em

  committed
  5bc199e

• refactor: Lean.Elab.Deriving.FromToJson (leanprover#5292)

  arthur-adjedj

  authored
  cb4a73a

• chore: update stage0

  

  Lean stage0 autoupdater

  committed
  92e1f16

• fix: travelling auto-completion (leanprover#5257)

  

  mhuisi

  and

  Kha

  authored
  a58520d

• doc: code comments about reflection support (leanprover#5235)

  nomeata

  authored
  8f899bf

• feat: cleanup of List.findIdx / List.take lemmas (leanprover#5293)

  kim-em

  authored
  7a5a089

• chore: update stage0

  

  Lean stage0 autoupdater

  committed
  5a9cfa0

• chore: restore Lake build

  kim-em

  committed
  c79b09f

Pagination

PreviousNext