commit: 6b26c402dda0f557a2e22faaadca74bb0d7b4787

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

Thu Jan 30 16:50:29 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Thu Jan 30 16:51:22 2025 -0800
tree: 42f38d3de35cb2ad23a574f68076f3396e4ba2ce
parent: 146f6e6b2fc7a62de17c99b1543f7e52201f2179 [diff]

fix: bug in `mkMatchCondProf?` in `grind`

2 files changed

tree: 42f38d3de35cb2ad23a574f68076f3396e4ba2ce

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