commit: a7d132fb13c6d7f444c1923f02689d940de05f28

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Sun Dec 15 20:56:00 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Dec 15 20:56:00 2024 -0800
tree: 6e4933a0241033a11fd4cd2ace835b2ff43a8802
parent: a8a160b09147c3225150703ac727eea6ee9a3b0e [diff]

fix: `check` must check projections

This PR ensures `Meta.check` check projections.

closes #5660

3 files changed

tree: 6e4933a0241033a11fd4cd2ace835b2ff43a8802

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 (documentation source: doc/make/index.md).