commit: a91d6507333d20fbcc68bdc65a4c5ba355a07fbc

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

Wed Mar 12 14:47:27 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Wed Mar 12 14:47:27 2025 +1100
tree: 341ce582c6060831d658d43de6bbc37989e1809e
parent: 2952cf81e6089626f96321b44307d2222bc74d03 [diff]

chore: fix duplicated namespaces

5 files changed

tree: 341ce582c6060831d658d43de6bbc37989e1809e

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