commit: d29deec7cc307bbeac0b2545a3bb404850a544ba

[log]
author: Henrik Böving <hargonix@gmail.com>

Tue Dec 16 15:14:25 2025 +0000
committer: Henrik Böving <hargonix@gmail.com>

Tue Dec 16 15:14:25 2025 +0000
tree: 7efa992b84b7fc3fe9f89abc98e6e7081ab82e21
parent: c1394c9f634c6a1fd74165032eb947ef339d455b [diff]

fin

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

1 file changed

tree: 7efa992b84b7fc3fe9f89abc98e6e7081ab82e21

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.