Commit 2023-05-23 05:24 05b93a58
View on Github →feat: update to Lean 3.51.0 (#19060) This version:
- Propagates goal tags through
unfreezingI - Uses a more recent set of emscripten build tools It's hard to know whether this will break the web editor, other than just pushing and finding out.