commit: 38730111c48704f828e7b50001308dfcc7b8bf6c

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

Tue Apr 01 14:53:06 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Apr 01 14:53:06 2025 -0700
tree: 66e98450ee38864a44d47808b459972efe206d97
parent: fce2eeff6ebc9150a884846e766ea04a2078bcad [diff]

chore: move to run

tests/lean/run/grind_list_issue.lean[Renamed from tests/lean/grind/list_problems.lean - diff]

1 file changed

tree: 66e98450ee38864a44d47808b459972efe206d97

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