Code

fix: issue 2042#2783

Code

Merged

leodemoura merged 3 commits intomasterleanprover/lean4:masterfrom issue_2042leanprover/lean4:issue_2042Copy head branch name to clipboardNov 9, 2023

+77-27

Commits

Commits on Nov 6, 2023

• fix: fixes #2042

  

  leodemoura

  authored and

  kim-em

  committed
  d4e41a8

  Copy full SHA for d4e41a8

• chore: fix tests

  

  leodemoura

  authored and

  kim-em

  committed
  14c382b

  Copy full SHA for 14c382b

• chore: update RELEASES.md

  

  leodemoura

  authored and

  kim-em

  committed
  0289687

  Copy full SHA for 0289687