Skip to content

Automated prefix state sharing optimization#110

Open
augustepoiroux wants to merge 23 commits into
leanprover-community:masterfrom
augustepoiroux:auto-prefix-optimization
Open

Automated prefix state sharing optimization#110
augustepoiroux wants to merge 23 commits into
leanprover-community:masterfrom
augustepoiroux:auto-prefix-optimization

Commits

Commits on May 4, 2026