commit: e4e0cee8721200d615363a6004d71b1827eefd95

[log]
author: Joachim Breitner <mail@joachim-breitner.de>

Wed Nov 22 13:10:12 2023 +0100
committer: GitHub <noreply@github.com>

Wed Nov 22 13:10:12 2023 +0100
tree: fedceb5f1176152dc0f9ae452eca32fffa506044
parent: cb6bfca81cb2fef2377928749c280a558586eb8d [diff]

More mention of macos-latest

.github/workflows/ci.yml[diff]

1 file changed

tree: fedceb5f1176152dc0f9ae452eca32fffa506044

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.