commit: 438025f7ec6875da57fa74e38ef0e99dfcbf36ae

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

Fri Apr 04 10:34:49 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Fri Apr 04 10:34:49 2025 +1100
tree: 8c9e1d0f43659eaee75ca5b74f3c3851044e33da
parent: bb6bfdba37fcda064775aa82979009d5036c7a9e [diff]

chore: update .gitignore for release checklist scripts

.gitignore[diff]

1 file changed

tree: 8c9e1d0f43659eaee75ca5b74f3c3851044e33da

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