commit: c6719e02d752beb8a0f0929e03e8bf5f7a7f54ce

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

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

Fri Jan 17 18:41:11 2025 -0800
tree: 63115eb8a6a3642785d2ff9543b7782419a96286
parent: 99a5108523245f5513f673060c3218baab4bdf28 [diff]

chore: add tests

tests/lean/run/grind_ematch_patterns.lean[Added - diff]

1 file changed

tree: 63115eb8a6a3642785d2ff9543b7782419a96286

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