Commit 2023-05-24 21:28 96d2ccbe

View on Github →

fix: bump to Lean 3.51.1 (#19088) This should fix the web editor

Estimated changes