commit: 4810e0ca2d7d2d71becf88db2f787eb082f619ca

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

Tue Nov 04 05:01:24 2025 +0100
committer: Kim Morrison <kim@tqft.net>

Tue Nov 04 05:01:24 2025 +0100
tree: ab8360baaddda6e7bfb5d4141bb0d697409b837e
parent: 8ee3f771f9507baa02f58fc276222992b33b8f70 [diff]

casing

.claude/CLAUDE.md[diff]

1 file changed

tree: ab8360baaddda6e7bfb5d4141bb0d697409b837e

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.