commit: 3d2a184d8633974f7b4086ee3263c4b1fef756bd

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

Wed Aug 30 08:12:58 2023 +1000
committer: Scott Morrison <scott.morrison@gmail.com>

Wed Aug 30 08:12:58 2023 +1000
tree: 6432ea7a083ff6ba21ea17af9ee47b9c371760f7
parent: 869d64e97ac5acf557c949c2af917db633999f8d [diff]

chore: remove - from semver prerelease

.github/workflows/ci.yml[diff]

1 file changed

tree: 6432ea7a083ff6ba21ea17af9ee47b9c371760f7

README.md

This is the repository for Lean 4.

We provide nightly releases and have just begun regular stable point releases.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.