Skip to content

Upgrade Lean and dependencies to 4.34.1 - #4

Merged
tsuki8 merged 2 commits into
mainfrom
v_4_34_1
Oct 2, 2026
Merged

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

Adapt proof templates and budget the rational remainder example

5e0e98e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar