commit: be80a2328119466082971f263c5d004376717a86

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

Sat Jun 21 00:34:30 2025 +0200
committer: GitHub <noreply@github.com>

Fri Jun 20 22:34:30 2025 +0000
tree: 0573345e0f7eaab3a2f8fa6160a873f10c40e415
parent: 92ac564f3cb96cb80beaa993f79ec88c8909ccaf [diff]

chore: remove unused simp args (#8905)

This PR uses the linter from
https://github.com/leanprover/lean4/pull/8901 to clean up simp
arguments.

163 files changed

tree: 0573345e0f7eaab3a2f8fa6160a873f10c40e415

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.