commit: 94549fdf12a38a93ef8960ac0e286363ffb03c62

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Fri Sep 13 11:20:07 2024 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Fri Sep 13 11:42:23 2024 +0200
tree: 6fa9a0fec2d148bbbe65af95aeeb0f231ce67dd5
parent: adfd6c090ef7d6bdcc8f69c5dd6f919b1b71cab3 [diff]

fix: inaccessible pattern vars reported as binders

2 files changed

tree: 6fa9a0fec2d148bbbe65af95aeeb0f231ce67dd5

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).