Commits

History for

Commits on Nov 19, 2025

chore: move Mathlib to the module system (#31786)

kim-em
and
Kha
committed

Commits on May 14, 2025

style: fix bad tactic indentation (#24890)
grunweg
committed

Commits on Oct 14, 2024

chore: unused arguments (#17348)
kim-em
committed

Commits on Sep 24, 2024

chore: update name in copyrights (#17074)
kim-em
committed

Commits on Jul 19, 2024

chore: remove `#align` and `#align_import` statements (#14887)

kim-em
and
mattrobball
committed

Commits on Jul 8, 2024

chore: tidy various files (#14516)
Ruben-VandeVelde
committed

Commits on Mar 8, 2024

chore: squeeze some non-terminal simps (#11247)
adomani
committed

Commits on Jan 7, 2024

chore(*): replace `$` with `<|` (#9319)
urkud
committed

Commits on Dec 30, 2023

chore(*): drop `$`/`<|` before `fun` (#9361)
urkud
committed

Commits on Sep 7, 2023

chore: delay import of Tactic.Common (#7000)
kim-em
committed

Commits on Jul 19, 2023

chore: script to replace headers with #align_import statements (#5979)

kim-em
and
eric-wieser
committed

Commits on May 19, 2023

feat: add Mathlib.Tactic.Common, and import (#4056)
kim-em
committed

Commits on Dec 18, 2022

chore: add source headers to ported theory files (#1094)
rwbarton
committed

Commits on Nov 22, 2022

feat: port Control.EquivFunctor (#649)

committed

Loading