Repository navigation

Track Lean core changes for measurable monads and rdo - #19

Draft

DavidLedvinka wants to merge 4 commits into

mainfrom

codex/core-upstream-tracking

Draft

Track Lean core changes for measurable monads and rdo#19
DavidLedvinka wants to merge 4 commits into
mainfrom
codex/core-upstream-tracking

Commits on Oct 26, 2026
- Annotate measurable monad and rdo adaptations with Lean core origins
  David Ledvinka
  committed
  611ec4c
- Check adapted core declarations in CI and report upstream changes weekly
  David Ledvinka
  committed
  9005c79
- Rename analogue attribute and simplify core change tracking
  David Ledvinka
  committed
  e2e0d73
- Isolate upstream maintenance tooling under .github
  David Ledvinka
  committed
  18ba424