You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
chore: upstream Std material from Data/List|Array/Init#3975
Merged
kim-em merged 3 commits intomasterleanprover/lean4:masterfrom upstream_Array_List_Initleanprover/lean4:upstream_Array_List_InitCopy head branch name to clipboardApr 24, 2024
