commit: 9940f2540c8c08a4ba8171970f952405603d93f8

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

Mon Mar 02 23:20:10 2026 +0000
committer: Kim Morrison <kim@tqft.net>

Mon Mar 02 23:20:10 2026 +0000
tree: e5c988b9a79d7f867cc2ae00f0af7dd7c58d67d6
parent: 132b5efb0f2b52bf84d4b43327939c97c7b9a893 [diff]

fix: use trimAscii instead of deprecated trim

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

src/Lean/Elab/Deriving/Basic.lean[diff]

1 file changed

tree: e5c988b9a79d7f867cc2ae00f0af7dd7c58d67d6

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.