commit: 832d7c500d709deb5e7f0a5a6fd0f01865d1a303

[log]
author: Kim Morrison <scott.morrison@gmail.com>

Mon Feb 03 17:07:53 2025 +1100
committer: GitHub <noreply@github.com>

Mon Feb 03 06:07:53 2025 +0000
tree: 84f6216f6e5afdc69f33da77577cb2237511f2b1
parent: f6df23f2a76c8806cfb0d2e35200085e7390542f [diff]

chore: fix release_checklist.py tag lookup bug (#6913)

script/release_checklist.py[diff]

1 file changed

tree: 84f6216f6e5afdc69f33da77577cb2237511f2b1

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