Skip to content

fix: make the Banach fixpoint opaque#498

Merged
Kaptch merged 5 commits into
leanprover-community:masterfrom
sgraf812:packed-fixpoint
Jul 7, 2026
Merged

fix: make the Banach fixpoint opaque#498
Kaptch merged 5 commits into
leanprover-community:masterfrom
sgraf812:packed-fixpoint

Merge remote-tracking branch 'origin/master' into pr/sgraf812/498

17735ee
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build-math
succeeded Jul 7, 2026 in 4m 8s