Commits

Branch selector

 master

User selector

adomani

Datepicker

All time

Commit History

Commits on Nov 17, 2025

• fix: run second mk_all only if first one ran (#31743)

  Show description for 2df2702
  adomani

  committed
  2df2702

  Copy full SHA for 2df2702

Commits on Nov 4, 2025

• feat: add some name validation for authors (#29806)

  Show description for ac3e932
  

  adomani

  and

  grunweg

  committed
  ac3e932

  Copy full SHA for ac3e932

Commits on Oct 31, 2025

• fix(tacticAnalysis): use `toArray` and check the final two tactics (#31099)

  Show description for f986991
  adomani

  committed
  f986991

  Copy full SHA for f986991

Commits on Oct 21, 2025

• CI: remove deprecations automatically (#30070)

  Show description for a194863
  

  adomani

  and

  bryangingechen

  committed
  a194863

  Copy full SHA for a194863

Commits on Oct 8, 2025

• docs: use `CoxeterMatrix.Group` in doc-strings (#30304)

  Show description for 390a021
  adomani

  committed
  390a021

  Copy full SHA for 390a021

Commits on Sep 28, 2025

• chore: deprecate using non-deprecated names (#30057)

  Show description for a1957e2
  adomani

  committed
  a1957e2

  Copy full SHA for a1957e2

Commits on Sep 15, 2025

• chore: module deprecations from #28953 (#29672)

  Show description for dba1734
  adomani

  committed
  dba1734

  Copy full SHA for dba1734

• fix: improve keyword handling in add_deprecations script (#29628)

  Show description for c9c0e9d
  adomani

  committed
  c9c0e9d

  Copy full SHA for c9c0e9d

Commits on Sep 8, 2025

• chore: Zulip reactions in `mathlib bors notifications` (#29446)

  Show description for 3eca3de
  adomani

  committed
  3eca3de

  Copy full SHA for 3eca3de

Commits on Sep 4, 2025

• chore: add `NormedSpace` and `Deprecated/Order` module deprecations (#29293)

  Show description for 61a0044
  adomani

  committed
  61a0044

  Copy full SHA for 61a0044

Commits on Sep 3, 2025

• feat: deprecated module automation (#24917)

  Show description for afb3068
  

  adomani

  and

  grunweg

  committed
  afb3068

  Copy full SHA for afb3068

Commits on Sep 2, 2025

• chore: add deprecated modules (#29209)

  Show description for 2d01253
  adomani

  committed
  2d01253

  Copy full SHA for 2d01253

Commits on Aug 13, 2025

• chore(AkraBazzi): fix whitespace (#27871)

  Show description for d42ce48
  

  adomani

  and

  grunweg

  committed
  d42ce48

  Copy full SHA for d42ce48

Commits on Aug 12, 2025

• chore: fix indentation for markdown highlighting (#28235)

  Show description for ff86841
  adomani

  committed
  ff86841

  Copy full SHA for ff86841

• docs: make `upperCentralSeries` more explicit (#28250)

  Show description for 8bd7b89
  adomani

  committed
  8bd7b89

  Copy full SHA for 8bd7b89

Commits on Aug 11, 2025

• chore: rename `Zlattice.FG` to `ZLattice.FG` (#28228)

  Show description for 6e2f4e1
  adomani

  committed
  6e2f4e1

  Copy full SHA for 6e2f4e1

Commits on Jul 15, 2025

• chore: remove whitespace (#26963)

  Show description for 6c0e852
  adomani

  committed
  6c0e852

  Copy full SHA for 6c0e852

Commits on Jul 11, 2025

• chore: `n+1` to `n + 1` (#26937)

  adomani

  committed
  bf80b15

  Copy full SHA for bf80b15

• chore: a batch of whitespace fixes (#26964)

  Show description for f10105b
  adomani

  committed
  f10105b

  Copy full SHA for f10105b

Commits on Jul 9, 2025

• chore: space following `Σ` (#26932)

  Show description for a38eeaf
  adomani

  committed
  a38eeaf

  Copy full SHA for a38eeaf

• chore: fix whitespaces (#26930)

  Show description for 18a0fbd
  adomani

  committed
  18a0fbd

  Copy full SHA for 18a0fbd

• chore: a bunch of whitespace fixes (#26925)

  Show description for 2216b12
  adomani

  committed
  2216b12

  Copy full SHA for 2216b12

Commits on Jul 8, 2025

• chore: fix a few typos in lemma names (#26904)

  Show description for 7d2270e
  adomani

  committed
  7d2270e

  Copy full SHA for 7d2270e

• fix: lint also lemmas in `commandStart` (#26706)

  Show description for f3db3b4
  

  adomani

  and

  grunweg

  committed
  f3db3b4

  Copy full SHA for f3db3b4

• chore: whitespace fixes in lemmas (#26892)

  Show description for aa6e500
  adomani

  committed
  aa6e500

  Copy full SHA for aa6e500

Commits on Jul 7, 2025

• feat: extend the commandStart linter until after `:` (#26718)

  Show description for 1259f81
  

  adomani

  and

  grunweg

  committed
  1259f81

  Copy full SHA for 1259f81

Commits on Jul 4, 2025

• chore: whitespace fixes (#26737)

  Show description for a03ab30
  adomani

  committed
  a03ab30

  Copy full SHA for a03ab30

• chore: whitespace before `:` (#26727)

  Show description for c14c446
  adomani

  committed
  c14c446

  Copy full SHA for c14c446

• chore: whitespace fixes (#26714)

  Show description for 3f9a67b
  adomani

  committed
  3f9a67b

  Copy full SHA for 3f9a67b

Commits on Jun 30, 2025

• fix: data field in label from comment (#26540)

  Show description for 9792703
  adomani

  committed
  9792703

  Copy full SHA for 9792703

• fix: use correct `curl` for adding a label (#26539)

  Show description for 59de3a7
  adomani

  committed
  59de3a7

  Copy full SHA for 59de3a7

• feat: make the `labels_from_comment` action more extensible (#26456)

  Show description for 1925933
  adomani

  committed
  1925933

  Copy full SHA for 1925933

Commits on Jun 19, 2025

• feat: `compute_degree` attempts to solve `f.natDegree < d` (#26145)

  Show description for 8fea0ef
  adomani

  committed
  8fea0ef

  Copy full SHA for 8fea0ef

• chore: remove empty line (#26143)

  Show description for d1a243d
  adomani

  committed
  d1a243d

  Copy full SHA for d1a243d

• fix: improve `smul` support in `compute_degree` (#25944)

  Show description for 878010a
  adomani

  committed
  878010a

  Copy full SHA for 878010a

Pagination

Previous

Next