Code

Update to Lean v4.10.0#9

Code

Open

MackieLoeffel wants to merge 1 commit intoleanprover-community:masterleanprover-community/iris-lean:masterfrom MackieLoeffel:port_to_v4.10.0MackieLoeffel/iris-lean:port_to_v4.10.0Copy head branch name to clipboard

+27-24

Commits

Commits on Aug 20, 2024

• Update to Lean v4.10.0

  MackieLoeffel

  committed
  5acf1aa

  Copy full SHA for 5acf1aa