commit: d5b804404c3d483b01f66d65c2add5f90c931032

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Fri Nov 24 14:43:34 2023 +0100
committer: Sebastian Ullrich <sebasti@nullri.ch>

Fri Nov 24 18:02:55 2023 +0100
tree: 86e7bcd1f3e09c2c0711915fb0cf614d54db1ee4
parent: 60079ee8436dee576626d6163036112feb6451a9 [diff]

chore: go back to macos-latest

.github/workflows/ci.yml[diff]

1 file changed

tree: 86e7bcd1f3e09c2c0711915fb0cf614d54db1ee4

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.