commit: f7f224404182365d73bad643761ca5913384eebb

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

Wed Oct 25 16:44:05 2023 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Tue Nov 14 15:37:59 2023 +0100
tree: ec8f68d274b694dced272eb6fc60eef933920c39
parent: a0d7e52b3e4dd2d667b7d489d4050018871764f0 [diff]

feat: embed and check githash in .olean

6 files changed

tree: ec8f68d274b694dced272eb6fc60eef933920c39

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.