commit: 8b7cfb1b9a937b624a01a9ee09033a4ba2ccf28a

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

Sat Jun 14 19:24:48 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Jun 14 19:26:27 2025 -0700
tree: 75d2b74f93ce209b8bf3a18e0e3d689538f8ef39
parent: 89be17d0937c4ea42e24df5b1fc08896d3b8e1f7 [diff]

chore: remove tests that are working

I have already moved them to `run`

tests/lean/grind/algebra/module_normalization.lean[diff]

1 file changed

tree: 75d2b74f93ce209b8bf3a18e0e3d689538f8ef39

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.