commit: c93717b6e953f0b46379424ccd5b0da0d91759c8

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

Sat Aug 02 14:56:25 2025 +0200
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Aug 02 14:56:25 2025 +0200
tree: 389a4715d84885acf93bfb502be2bb09e72bbe7a
parent: 08c3f3c2366db7000fd20267e84aeb6e06487323 [diff]

chore: update `tests/lean/grind` todo folder

Remove examples that we have already moved to `tests/lean/run`, and
add notes for possible fixes.

6 files changed

tree: 389a4715d84885acf93bfb502be2bb09e72bbe7a

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.