8000 feat: polymorphic ranges by datokrat · Pull Request #8784 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

feat: polymorphic ranges#8784

Open
datokrat wants to merge 45 commits intopaul/base/ranges/introduce-rangesfrom
paul/ranges/introduce-ranges
Open

feat: polymorphic ranges#8784
datokrat wants to merge 45 commits intopaul/base/ranges/introduce-rangesfrom
paul/ranges/introduce-ranges

Commits

Commits on Jun 25, 2025

0