commit: e85ae1c6042f0b0d57d6d4f99db74471874f6e53

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

Thu May 01 16:29:47 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Thu May 01 16:29:47 2025 -0700
tree: 319ba7b0d3f0e3ada4eb3051b539b146a63cf1c1
parent: 29a4d814191ddb21596be3a47ec7c5ecac1e5356 [diff]

chore: move file

tests/lean/run/grind_hashmap_list.lean[Renamed from tests/lean/grind/hashmap_list.lean - diff]

1 file changed

tree: 319ba7b0d3f0e3ada4eb3051b539b146a63cf1c1

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