commit: 1040d3450ca4a3a6450fcc2f856325cf6b4eaf14

[log]
author: Kim Morrison <kim@tqft.net>

Mon Apr 07 15:25:33 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Mon Apr 07 15:25:33 2025 +1000
tree: 26939fe5314b0fcb9da4b459bc0e27d6f00bbb27
parent: 8e4c38968f3ed8c25155bd2de591cab833994324 [diff]

chore: remove @[simp] from @[deprecated] theorems

6 files changed

tree: 26939fe5314b0fcb9da4b459bc0e27d6f00bbb27

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