Code

feat: add BitVec.neg_neg#14

Code

Closed

tobiasgrosser wants to merge 5 commits intomasteropencompl/lean4:masterfrom bitvec_neg_negopencompl/lean4:bitvec_neg_negCopy head branch name to clipboard

+24-2

Commits

Commits on Aug 10, 2024

• feat: add BitVec.neg_neg

  Show description for 3d98bfc
  tobiasgrosser

  committed
  3d98bfc

• chore: factor out sub_toNat_mod_cancel and sub_sub_toNat_cancel

  tobiasgrosser

  committed
  c75da23

• chore: simplify code

  tobiasgrosser

  committed
  2d46ca2

Commits on Aug 11, 2024

• Update src/Init/Data/BitVec/Lemmas.lean

  Show description for 7351639
  

  tobiasgrosser

  and

  hargoniX

  authored
  7351639

• chore: avoid non-terminal simp

  tobiasgrosser

  committed
  a905623