commit: b23626152286048b6de9f6d0a1fa9e3c802b63d8

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

Mon Jun 24 10:52:08 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Mon Jun 24 10:52:08 2024 +1000
tree: eb608a76b5a67bfba0550c793e5643e241bc1f13
parent: bc6188a70a332ff85758c400517c720d552b90be [diff]

chore: mark releases as prerelease

.github/workflows/ci.yml[diff]

1 file changed

tree: eb608a76b5a67bfba0550c793e5643e241bc1f13

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