commit: 12850dfb3d7be1168cd4fe2cd27dcee1e442a2ce

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

Mon Jan 27 15:21:43 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Jan 27 15:21:43 2025 -0800
tree: 84e964846ea4b44d7bb3a08664cff2f0809df948
parent: bfe4f19768d53f2cef80f7b9e012b73b2f4982a6 [diff]

chore: new test

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

1 file changed

tree: 84e964846ea4b44d7bb3a08664cff2f0809df948

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