commit: 1743a0252e91ae3b8b345a7b69630eb6b14fc334

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

Mon Nov 06 11:36:15 2023 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Mon Nov 06 22:22:27 2023 +1100
tree: 1afb1887298ec2c70c2d8797b8f471e0cf12a9a8
parent: 37c154b6debabda28496ae3a8f111436643b297b [diff]

chore: testing CI update

tree: 1afb1887298ec2c70c2d8797b8f471e0cf12a9a8

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.