Skip to content

refactor: change pset to a structure - #43976

Open
Shreyas4991 wants to merge 6 commits into
leanprover-community:masterfrom
Shreyas4991:psets_structure
Open

Shreyas4991 wants to merge 6 commits into
leanprover-community:masterfrom
Shreyas4991:psets_structure

Commits

Commits on Sep 19, 2026