commit: 6c6f9a5d833e771bc24ad9cd88774a76f5de9f8a

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

Wed Mar 04 10:00:41 2026 -0300
committer: Sofia Rodrigues <sofia@algebraic.dev>

Wed Mar 04 10:00:41 2026 -0300
tree: fd424989234d25162dd6128feb5124745129424a
parent: a7aea9a12d8f22bcca2faf497c8b3e1d0e2d54c2 [diff]

refactor: change Char.isDigit and Char.isAlpha

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

1 file changed

tree: fd424989234d25162dd6128feb5124745129424a

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.