Code

Bump Lean to nightly-2024-05-16#31

Code

Merged

shigoel merged 1 commit intoleanprover:mainleanprover/LNSym:mainfrom pennyannn:yppe/bump-leanpennyannn/LNSym-public:yppe/bump-leanCopy head branch name to clipboardMay 20, 2024

+8-17

Commits

Commits on May 16, 2024

• Bump Lean to nightly-2024-05-16

  pennyannn

  committed
  f22e4dd

  Copy full SHA for f22e4dd