commit: ed2d6cdcb14d2b50b8f64ad84300d8efd14ab7dd

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

Wed Feb 12 15:53:53 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Wed Feb 12 15:53:53 2025 +1100
tree: 9b56d5b782ebc62d2c43c49d17db2efd0b76f44f
parent: 2a67a49f312cd7272b02036396f00b1c022e7cfd [diff]

chore: fix linter.listVariables naming

14 files changed

tree: 9b56d5b782ebc62d2c43c49d17db2efd0b76f44f

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