Code

feat: sugar for SatisfiesM#1029

Code

Merged

digama0 merged 13 commits intomainleanprover-community/batteries:mainfrom satisfyingleanprover-community/batteries:satisfyingCopy head branch name to clipboardNov 13, 2024

+291-8

Commits

Commits on Nov 8, 2024

• feat: sugar for SatisfiesM

  Show description for 8890a31
  kim-em

  committed
  8890a31

• change the syntax

  kim-em

  committed
  ac56c2d

Commits on Nov 10, 2024

• rename to MonadSatisfying

  kim-em

  committed
  a61fce1

• two fields

  kim-em

  committed
  b9b7ab0

Commits on Nov 11, 2024

• csimp

  kim-em

  committed
  5be61c9

• Merge remote-tracking branch 'origin/main' into satisfying

  kim-em

  committed
  3fb29db

• nolints

  kim-em

  committed
  05150c7

• remove @[simp]

  kim-em

  committed
  952e9b1

• remove the csimp; let's do this in a separate PR

  kim-em

  committed
  976e40e

• Update Batteries/Classes/SatisfiesM.lean

  digama0

  authored
  1331cd9

Commits on Nov 12, 2024

• move lawfulmonad instances

  kim-em

  committed
  71779f2

• move instances

  kim-em

  committed
  5aacdf5

Commits on Nov 13, 2024

• another monad

  kim-em

  committed
  abc7187