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: split Int.DivModLemmas into Bootstrap and Lemmas#7162
Merged
kim-em merged 12 commits intomasterleanprover/lean4:masterfrom divmod_bootstrapleanprover/lean4:divmod_bootstrapCopy head branch name to clipboardFeb 20, 2025
