commit: bfbcb30a6e35c94ec53e8420e659c2609ba5d108

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

Fri Jan 31 11:58:41 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Jan 31 11:58:41 2025 -0800
tree: fe19e17a36d14188066ea5c165ca061d5968b23e
parent: 80fc92af81064148d386e6e6e3cf4c4ea8307dbb [diff]

feat: refine pattern selection and fix test

2 files changed

tree: fe19e17a36d14188066ea5c165ca061d5968b23e

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