commit: c6a625d41e15f652e2669f99851015afcb1eee24

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

Thu Mar 28 19:27:41 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Thu Mar 28 19:27:41 2024 -0700
tree: 1641c2f51064f92a48653f1307c2066d78980ae5
parent: 4585ad9878c6caafbb94603dd12e7cc5ae4ee905 [diff]

chore: move test to correct directory

tests/lean/run/reservedNameResolution.lean[Renamed from tests/lean/reservedNameResolution.lean - diff]

1 file changed

tree: 1641c2f51064f92a48653f1307c2066d78980ae5

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.