commit: 7a852aedb6538a6ed8296b3ed1e1a5533cc7ad5f

[log]
author: Sofia Rodrigues <sofia@algebraic.dev>

Tue Mar 10 10:08:22 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Tue Mar 10 10:08:22 2026 -0300
tree: fbe8e1bbc8c08fc1b84f9d28a326ecdeb2024a09
parent: 1554f57525f71cfb5ec7aa858e805f86b537aecd [diff]

fix: squeeze simp and paren

src/Std/Internal/Http/Internal/Char.lean[diff]

1 file changed

tree: fbe8e1bbc8c08fc1b84f9d28a326ecdeb2024a09

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.