commit: 5c8b4499654663af06b5009130a7d2467b1e9e0b

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

Mon Apr 07 13:51:07 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Apr 07 13:51:07 2025 -0700
tree: 6d48c162418c3c683199fadc07881da2b9925f11
parent: d9b94924f59e23d1311a55607e0035358a5cf898 [diff]

test: for new issue

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

1 file changed

tree: 6d48c162418c3c683199fadc07881da2b9925f11

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