commit: 5d2427980e947ba27c07abb247d9ef9f86920bde

[log]
author: Kim Morrison <kim@tqft.net>

Mon Nov 04 10:06:00 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Mon Nov 04 10:06:00 2024 +1100
tree: 14de85aeabb28b33c01a92cf85f711788713fc56
parent: 1659f3bfe26545f77fe4ea84f61ce5e441dea87d [diff]

chore: begin development cycle for v4.15

2 files changed

tree: 14de85aeabb28b33c01a92cf85f711788713fc56

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean (documentation source: doc/make/index.md).