Repository navigation

Upgrade Lean and dependencies to 4.34.1 - #4

Merged

tsuki8 merged 2 commits into

mainfrom

Oct 2, 2026

Merged

Upgrade Lean and dependencies to 4.34.1#4
tsuki8 merged 2 commits into
mainfrom
v_4_34_1

Commits on Oct 2, 2026
- Upgrade Lean and dependencies to 4.34.1
  tsuki8
  committed
  9a0f878
- Adapt proof templates and budget the rational remainder example
  tsuki8
  committed
  5e0e98e