commit: fe0992cf2ff4e7c6919ce02812c534e1021385c2

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

Thu May 15 15:45:21 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Thu May 15 15:45:21 2025 -0700
tree: 32f6e5451e197cf9d5a2a9c85d26dc8ca67604cb
parent: 616c9c9765d7ece5e41e008868e810df3f296a8c [diff]

chore: move test that is working

tests/lean/grind/palindrome.lean[Deleted - diff]
tests/lean/run/grind_palindrome2.lean[Added - diff]

2 files changed

tree: 32f6e5451e197cf9d5a2a9c85d26dc8ca67604cb

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.