commit: f8ee5fb471a95e60c208832b15dca0287e2b807a

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

Thu Oct 03 08:46:03 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Thu Oct 03 08:46:03 2024 +1000
tree: ed2d97974b053499e9a5a34f19ecb2613ba7e828
parent: 1b115eea42a9233ca6208fadb6b8b8fe9da0a358 [diff]

chore: typo in fix-pr-release.yml

.github/workflows/pr-release.yml[diff]

1 file changed

tree: ed2d97974b053499e9a5a34f19ecb2613ba7e828

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