Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 27, 2024

• chore: cleanups for Mathlib.Init (leanprover#4852)

  Show description for ea43ebd
  kim-em

  authored
  ea43ebd

  Copy full SHA for ea43ebd

• feat: bitVec shiftLeft recurrences for bitblasting (leanprover#4571)

  Show description for bb9c9bd
  

  4 peopleauthored
  bb9c9bd

  Copy full SHA for bb9c9bd

• feat: lake: CLI options to control output & failure log levels (leanprover#4847)

  Show description for fe5894f
  tydeu

  authored
  fe5894f

  Copy full SHA for fe5894f

• doc: lake: require @ git in README (leanprover#4849)

  Show description for 3ecbf4a
  tydeu

  authored
  3ecbf4a

  Copy full SHA for 3ecbf4a

Commits on Jul 26, 2024

• fix: calling programs with spaces on Windows (leanprover#4515)

  Show description for 9b342ef
  

  Kha

  and

  tydeu

  authored
  9b342ef

  Copy full SHA for 9b342ef

• doc: triage

  Kha

  authored
  c02aa98

  Copy full SHA for c02aa98

• chore: correct List.Subset lemma names (leanprover#4843)

  kim-em

  authored
  18ba5f2

  Copy full SHA for 18ba5f2

• chore: fix List deprecations (leanprover#4842)

  kim-em

  authored
  cbe39dc

  Copy full SHA for cbe39dc

• chore: upon nightly release, trigger nightly_bump_toolchain on mathlib4 (leanprover#4838)

  Show description for a5b8d5b
  nomeata

  authored
  a5b8d5b

  Copy full SHA for a5b8d5b

• feat: List.IsPrefix/IsSuffix is decidable (leanprover#4837)

  kim-em

  authored
  895391b

  Copy full SHA for 895391b

• feat: gaps/cleanup in List lemmas (leanprover#4835)

  kim-em

  authored
  e280de0

  Copy full SHA for e280de0

• chore: upstream IsPrefix/IsSuffix/IsInfix (leanprover#4836)

  Show description for 8c87a90
  kim-em

  authored
  8c87a90

  Copy full SHA for 8c87a90

Commits on Jul 25, 2024

• fix: structural recursion: do not check for brecOn too early (leanprover#4831)

  Show description for 54c22ef
  nomeata

  authored
  54c22ef

  Copy full SHA for 54c22ef

• chore: report github actions failure on zulip (leanprover#4830)

  Show description for d4f2db9
  nomeata

  authored
  d4f2db9

  Copy full SHA for d4f2db9

• test: make leanprover#1697 test case Linux-Debug safe (leanprover#4829)

  nomeata

  authored
  39e0b41

  Copy full SHA for 39e0b41

• fix: filter duplicate subexpressions (leanprover#4786)

  Show description for 84f8871
  mhuisi

  authored
  84f8871

  Copy full SHA for 84f8871

• feat: create ci workflow on lake new/init (leanprover#4608)

  Show description for 93fa9c8
  

  austinletson

  and

  tydeu

  authored
  93fa9c8

  Copy full SHA for 93fa9c8

Commits on Jul 24, 2024

• chore: CI: Jira sync

  Kha

  committed
  0768ad4

  Copy full SHA for 0768ad4

• fix: make sure anonymous dot notation works with pi-type-valued type synonyms (leanprover#4818)

  Show description for c545e7b
  kmill

  authored
  c545e7b

  Copy full SHA for c545e7b

• feat: trailing whitespace changes should not invalidate imports (leanprover#4580)

  Show description for 7b3c64f
  Kha

  authored
  7b3c64f

  Copy full SHA for 7b3c64f

• feat: respond to info view requests as soon as relevant tactic has finished execution (leanprover#4727)

  Show description for af0b563
  Kha

  authored
  af0b563

  Copy full SHA for af0b563

• chore: typo

  Kha

  authored
  af40e61

  Copy full SHA for af40e61

• chore: List.filterMapM runs and returns left-to-right (leanprover#4820)

  Show description for 1758b37
  kim-em

  authored
  1758b37

  Copy full SHA for 1758b37

• test: test case for leanprover#4751 (leanprover#4819)

  Show description for 3701bee
  nomeata

  authored
  3701bee

  Copy full SHA for 3701bee

• chore: CI: add back dropped check-stage3

  Kha

  authored
  6d97182

  Copy full SHA for 6d97182

Commits on Jul 23, 2024

• test: update test output following stage0 update (leanprover#4815)

  Show description for 871c9b4
  nomeata

  authored
  871c9b4

  Copy full SHA for 871c9b4

• chore: update stage0

  

  Lean stage0 autoupdater

  committed
  ee6737a

  Copy full SHA for ee6737a

• feat: safer #eval, and #eval! (leanprover#4810)

  Show description for 7d60d8b
  nomeata

  authored
  7d60d8b

  Copy full SHA for 7d60d8b

• chore: release notes for mutual structural induction (leanprover#4808)

  nomeata

  authored
  a4673e2

  Copy full SHA for a4673e2

• doc: update quickstart guide (leanprover#4806)

  Show description for b2ee8c2
  mhuisi

  authored
  b2ee8c2

  Copy full SHA for b2ee8c2

• feat: more hash map lemmas (leanprover#4803)

  TwoFX

  authored
  5d632a9

  Copy full SHA for 5d632a9

Commits on Jul 22, 2024

• fix: make elab_as_elim eagerly elaborate arguments for parameters appearing in the types of targets (leanprover#4800)

  Show description for 5938dbb
  kmill

  authored
  5938dbb

  Copy full SHA for 5938dbb

• doc: document Command.Scope (leanprover#4748)

  Show description for 852add3
  

  grunweg

  and

  kmill

  authored
  852add3

  Copy full SHA for 852add3

• feat: unnecessary termination_by clauses cause warnings, not errors (leanprover#4809)

  Show description for 20c8571
  nomeata

  authored
  20c8571

  Copy full SHA for 20c8571

• feat: functional induction for mutual structural recursion (leanprover#4772)

  nomeata

  authored
  9f1eb47

  Copy full SHA for 9f1eb47

Pagination

Previous

Next