commit: 7ce1b9cf0de5d37f93d1ac1ef88b7842cdafa1c9

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

Wed Apr 09 18:36:39 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Apr 09 18:36:39 2025 -0700
tree: 24befeccbb86d4c83273eb498be98e5eed9f3872
parent: 3c0cddf6e2f22a28d5939bd0e146ede1c5b527de [diff]

chore: remove noise

tests/lean/grind/clear_aux_decls.lean[diff]

1 file changed

tree: 24befeccbb86d4c83273eb498be98e5eed9f3872

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