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: profile instantiateMVars at MutualDef.lean#4923
Merged
leodemoura merged 1 commit intomasterleanprover/lean4:masterfrom profile_inst_mvarsleanprover/lean4:profile_inst_mvarsCopy head branch name to clipboardAug 5, 2024
