commit: 2aef223c8c84107716e2e79ceff77f9a95a42403

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

Mon Apr 28 15:41:17 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Apr 28 15:43:00 2025 -0700
tree: 383a72687f08f68f3870acfe64abdf79b0206ad3
parent: 47fabc9cedd127e8d4828fad4801304b36371444 [diff]

chore: move fixed test

tests/lean/run/grind_eq_false_of_imp_eq_false.lean[Renamed from tests/lean/grind/eq_false_of_imp_eq_false.lean - diff]

1 file changed

tree: 383a72687f08f68f3870acfe64abdf79b0206ad3

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