commit: 95d72b3bbe2686a0567019fb624b192411e24297

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

Wed Nov 13 16:48:30 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Wed Nov 13 16:48:30 2024 +1100
tree: 66be654f26ac83f1d00c3e8dce693e9f266b6ad5
parent: 1315266dd3faeaf28d1263668cb88f2f3f5e530c [diff]

chore: upstream some NameMap functions

3 files changed

tree: 66be654f26ac83f1d00c3e8dce693e9f266b6ad5

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