commit: bd0f499108de4b2f0257111c83435c9dc0fcd02b

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Mon May 20 13:49:04 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon May 20 13:49:04 2024 -0700
tree: 4c9d5da9bd8926604a8d92cf742468389caa1a77
parent: ce7243540825b9c9dbdbc498670914ae7cdd5e94 [diff]

feat: add instance for `LE String`

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

1 file changed

tree: 4c9d5da9bd8926604a8d92cf742468389caa1a77

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