Commits

Branch selector

 master

User selector

Vierkantor

Datepicker

All time

Commit History

Commits on Nov 5, 2025

• refactor(TacticAnalysis): use full CommandElabM context in test (#29771)

  Show description for e96f033
  Vierkantor

  committed
  e96f033

  Copy full SHA for e96f033

Commits on Nov 4, 2025

• feat(TacticAnalysis): check if we are in a `try`/`anyGoals` context (#29964)

  Show description for 86a00bd
  Vierkantor

  committed
  86a00bd

  Copy full SHA for 86a00bd

Commits on Oct 31, 2025

• fix(TacticAnalysis): remove syntax range check (#28950)

  Show description for 2ba365e
  Vierkantor

  committed
  2ba365e

  Copy full SHA for 2ba365e

Commits on Oct 28, 2025

• chore(scripts): add flt-regular to the downstream repositories (#31002)

  Show description for e957330
  Vierkantor

  committed
  e957330

  Copy full SHA for e957330

Commits on Oct 12, 2025

• CI: run a weekly linter workflow (#29769)

  Show description for 4b9a202
  Vierkantor

  committed
  4b9a202

  Copy full SHA for 4b9a202

Commits on Oct 11, 2025

• test(TacticAnalysis): ensure `classical`'s effects are picked up (#29501)

  Show description for 06d95e5
  Vierkantor

  committed
  06d95e5

  Copy full SHA for 06d95e5

Commits on Oct 9, 2025

• chore(*): rename note 'CategoryTheory universes' to 'category theory universes' (#30360)

  Show description for d12bacd
  Vierkantor

  committed
  d12bacd

  Copy full SHA for d12bacd

Commits on Oct 2, 2025

• doc(Logic): update library note [fact non-instances] (#30125)

  Show description for 3c14b55
  Vierkantor

  committed
  3c14b55

  Copy full SHA for 3c14b55

Commits on Sep 28, 2025

• chore(RingTheory/Flat): split CharacterModule results from `Flat/Basic.lean` (#29808)

  Show description for 027837c
  Vierkantor

  committed
  027837c

  Copy full SHA for 027837c

Commits on Sep 22, 2025

• chore(Algebra/Category/Grp): don't import `AddCircle` in `Injective.lean` (#29811)

  Show description for baf3075
  Vierkantor

  committed
  baf3075

  Copy full SHA for baf3075

Commits on Sep 20, 2025

• chore(LinearAlgebra/AffineSpace): move `ContinuousAffineEquiv` to `Topology/Algebra` (#29779)

  Show description for 1b18558
  Vierkantor

  committed
  1b18558

  Copy full SHA for 1b18558

Commits on Sep 19, 2025

• chore(Data/Nat): move `PowModTotient` to `NumberTheory` (#29775)

  Show description for c3104a0
  Vierkantor

  committed
  c3104a0

  Copy full SHA for c3104a0

Commits on Sep 18, 2025

• refactor(Analysis/Calculus/FDeriv): split off material on composing continuous linear maps (#29753)

  Show description for b79638e
  Vierkantor

  committed
  b79638e

  Copy full SHA for b79638e

• fix(CI): use `sed` instead of Bash string manipulation (#29767)

  Show description for 2e93e95
  Vierkantor

  committed
  2e93e95

  Copy full SHA for 2e93e95

Commits on Sep 17, 2025

• refactor(Data/Set/Finite): redo proof to reduce imports (#29752)

  Show description for 2f30c4c
  Vierkantor

  committed
  2f30c4c

  Copy full SHA for 2f30c4c

• chore(Algebra): reduce imports of Analysis in Algebra (#29745)

  Show description for 50229ae
  Vierkantor

  committed
  50229ae

  Copy full SHA for 50229ae

• fix: update the nightly regression linter set to match rename (#29740)

  Show description for 7fe0746
  Vierkantor

  committed
  7fe0746

  Copy full SHA for 7fe0746

• chore(RingTheory): process porting notes, part 2 (#29353)

  Show description for 8a40195
  Vierkantor

  committed
  8a40195

  Copy full SHA for 8a40195

• chore(*): replace `simp? says` with `simp only` (#29593)

  Show description for d97ab19
  Vierkantor

  committed
  d97ab19

  Copy full SHA for d97ab19

Commits on Sep 16, 2025

• chore(Topology): process porting notes (#29383)

  Show description for 241ba23
  Vierkantor

  committed
  241ba23

  Copy full SHA for 241ba23

• CI: fix Bash substitution syntax in regression report (#29712)

  Show description for 2b4a36b
  Vierkantor

  committed
  2b4a36b

  Copy full SHA for 2b4a36b

Commits on Sep 15, 2025

• feat(CI): `nightly-testing` regression report (#29506)

  Show description for 35ebe14
  Vierkantor

  committed
  35ebe14

  Copy full SHA for 35ebe14

Commits on Sep 11, 2025

• fix(TacticAnalysis): include more `CommandElabM` state calling `runTactic` (#29505)

  Show description for 9fe6658
  Vierkantor

  committed
  9fe6658

  Copy full SHA for 9fe6658

• chore(Data/Finset): deprecate `range_succ`; rename `range_subset` to `range_subset_range` (#29509)

  Show description for 7b1146a
  

  Vierkantor

  and

  kim-em

  committed
  7b1146a

  Copy full SHA for 7b1146a

Commits on Sep 10, 2025

• chore(*): replace `simp? says` with `suffices`/`have` (#29441)

  Show description for bc7eebf
  Vierkantor

  committed
  bc7eebf

  Copy full SHA for bc7eebf

• feat(CI): create `nightly-testing-daily` and `nightly-testing-green` branches (#29469)

  Show description for bd3280f
  Vierkantor

  committed
  bd3280f

  Copy full SHA for bd3280f

• chore(Init): import tactic analysis passes (#29305)

  Show description for e72f153
  Vierkantor

  committed
  e72f153

  Copy full SHA for e72f153

Commits on Sep 9, 2025

• fix(TacticAnalysis): don't re-export imported analysis passes (#29303)

  Show description for cf83031
  Vierkantor

  committed
  cf83031

  Copy full SHA for cf83031

• chore(*): replace `simp says` with a finishing tactic (#29440)

  Show description for 3aff54c
  Vierkantor

  committed
  3aff54c

  Copy full SHA for 3aff54c

Commits on Sep 7, 2025

• chore(Tactic): process three porting notes (#29379)

  Show description for ade5c7b
  Vierkantor

  committed
  ade5c7b

  Copy full SHA for ade5c7b

Commits on Sep 6, 2025

• chore(SetTheory): process porting notes (#29367)

  Show description for dffa1e6
  Vierkantor

  committed
  dffa1e6

  Copy full SHA for dffa1e6

Commits on Sep 3, 2025

• chore(CategoryTheory): process porting notes, part 2 (#28776)

  Show description for 140e741
  Vierkantor

  committed
  140e741

  Copy full SHA for 140e741

Commits on Sep 1, 2025

• chore(RepresentationTheory): process porting notes (#29106)

  Show description for e0f1384
  Vierkantor

  committed
  e0f1384

  Copy full SHA for e0f1384

• chore(GroupTheory): review porting notes (#29031)

  Show description for 1160905
  Vierkantor

  committed
  1160905

  Copy full SHA for 1160905

• chore(RingTheory): process porting notes, part 1 (#29112)

  Show description for 8acd6df
  Vierkantor

  committed
  8acd6df

  Copy full SHA for 8acd6df

Pagination

Previous

Next