commit: 828cc492ca4101069dd0c671e345598d18d7e71e

[log]
author: Joachim Breitner <mail@joachim-breitner.de>

Sun Jun 22 17:12:38 2025 +0200
committer: Joachim Breitner <mail@joachim-breitner.de>

Sun Jun 22 17:12:38 2025 +0200
tree: 362cd482f834b5bd05742b1e71bc089d77cb43f6
parent: a17b098f5eb8746a361a1fc48ce0277734a7b319 [diff]

Reduce diff in tests

8 files changed

tree: 362cd482f834b5bd05742b1e71bc089d77cb43f6

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.