Skip to content

feat: revamp mk_all internals - #45108

Open
thorimur wants to merge 21 commits into
leanprover-community:masterfrom
thorimur:mk-all-path
Open

thorimur wants to merge 21 commits into
leanprover-community:masterfrom
thorimur:mk-all-path

chore: tweak wording

68ac51c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view