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
feat: find Decidable instances via unification#2816
Merged
kim-em merged 2 commits intomasterleanprover/lean4:masterfrom decide_eq_true_eqleanprover/lean4:decide_eq_true_eqCopy head branch name to clipboardNov 12, 2023
