Code

feat: Additional monadic vec defs#1107

Code

Closed

Shreyas4991 wants to merge 4 commits intoleanprover-community:mainleanprover-community/batteries:mainfrom Shreyas4991:some_vec_defsShreyas4991/batteries:some_vec_defsCopy head branch name to clipboard

Commits

Commits on Jan 31, 2025

• monadic vec defs

  Shreyas4991

  committed
  31a292b

  Copy full SHA for 31a292b

• Fix import

  Shreyas4991

  committed
  fbb3e02

  Copy full SHA for fbb3e02

• Fix array size proof of modifyM step 1

  Shreyas4991

  committed
  6bfa9f4

  Copy full SHA for 6bfa9f4

• Help me

  Shreyas4991

  committed
  80b2e15

  Copy full SHA for 80b2e15