commit: 280525f1fccbe2e08ef3032ac02af30ebdebf728

[log]
author: Joachim Breitner <mail@joachim-breitner.de>

Wed Apr 10 10:46:07 2024 +0200
committer: GitHub <noreply@github.com>

Wed Apr 10 08:46:07 2024 +0000
tree: da9d82815336025b4d76f009c2320a99c5a245e8
parent: 892bfe2c5fdd964405d94f0adb0e178fe2b485af [diff]

fix: omega: ignore levels in canonicalizer (#3853)

fixes #3848

src/Lean/Meta/Canonicalizer.lean[diff]
tests/lean/run/issue3848.lean[Added - diff]

2 files changed

tree: da9d82815336025b4d76f009c2320a99c5a245e8

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.