Commits

Breadcrumbs

History for

onmaster

User selector

All users

All time

Commit History

Commits on Mar 3, 2026

• chore: remove `set_option backward.isDefEq.respectTransparency false` (#36021)

  Show description for 33a07fa
  kim-em

  committed
  33a07fa

  Copy full SHA for 33a07fa

Commits on Feb 17, 2026

• chore: bump toolchain to v4.29.0-rc1 (#35459)

  Show description for 33a7291
  

  6 peoplecommitted
  33a7291

  Copy full SHA for 33a7291

Commits on Jan 13, 2026

• chore(Probability): Rename Adapted to StronglyAdapted (#33063)

  Show description for 88a6f55
  

  DavidLedvinka

  and

  David Ledvinka

  committed
  88a6f55

  Copy full SHA for 88a6f55

Commits on Dec 11, 2025

• chore: replace `omega` with `lia` where possible (#32666)

  Show description for 262b886
  kim-em

  committed
  262b886

  Copy full SHA for 262b886

Commits on Nov 19, 2025

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

  Show description for 6a54a80
  

  kim-em

  and

  Kha

  committed
  6a54a80

  Copy full SHA for 6a54a80

Commits on Nov 3, 2025

• feat(Probability): predictable processes (#30997)

  Show description for 397b110
  

  kex-y

  and

  pre-commit-ci-lite[bot]

  committed
  397b110

  Copy full SHA for 397b110

Loading