commit: 3fc258589b718eca1e59ee266754b79bb55e110c

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

Fri Aug 08 05:37:10 2025 +0200
committer: Kim Morrison <kim@tqft.net>

Fri Aug 08 06:11:35 2025 +0200
tree: 6f7d64a4f266b41881b91b9418234868e18e73b6
parent: 9257ef42ba1b7361b9ff8e38cb6d453d87dc8af6 [diff]

fix: @[expose] String.firstDiffPos and String.extract

src/Init/Data/String/Basic.lean[diff]

1 file changed

tree: 6f7d64a4f266b41881b91b9418234868e18e73b6

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.