feat: de-mathlib Nat.binaryRec#314
Closed
FR-vdash-bot wants to merge 35 commits intoleanprover-community:mainfrom FR-vdash-bot:bitwise
+279-101
Commits
Commits on Oct 22, 2023
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Oct 23, 2023
- committed
Commits on Nov 15, 2023
Commits on Dec 15, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Dec 18, 2023
- committed
Commits on Dec 19, 2023
Commits on Dec 29, 2023
- authored