commit: 9bb7954653b7ee600985b77b325e9c45737d7d73

[log]
author: Sofia Rodrigues <sofia@algebraic.dev>

Fri Nov 06 13:21:41 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Fri Nov 06 13:21:41 2026 -0300
tree: da4231b50c5cc0acfedccfa709e12bc92c4f35ea
parent: a74e015f8e3fa44015cbbc7742a2fc0245e7953d [diff]

fix: remove useless test

3 files changed

tree: da4231b50c5cc0acfedccfa709e12bc92c4f35ea

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.