commit: eaa955a2a8e319f99843576e366bec3e355fd9db

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

Thu Dec 11 12:22:57 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Thu Dec 11 12:25:33 2025 +1100
tree: eefdb5adb361afd024f12dbfb1923674112c94de
parent: 95e33d88a85526e9d33a065e3a463cef82e464fb [diff]

docs: note that tests/lean/run disables linters

doc/dev/testing.md[diff]

1 file changed

tree: eefdb5adb361afd024f12dbfb1923674112c94de

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.