commit: 3f791933f16d74d74ab8116c96cadec6cdf7b70e

[log]
author: Kyle Miller <kmill31415@gmail.com>

Sun Dec 08 21:30:50 2024 -0800
committer: GitHub <noreply@github.com>

Mon Dec 09 05:30:50 2024 +0000
tree: 7e29ed587699ef55090cf86436dfaf1c3840a76c
parent: 63791f0177379550062d410230ee1fbaded1d559 [diff]

chore: release notes for 4.14.0 (#6339)

RELEASES.md[diff]

1 file changed

tree: 7e29ed587699ef55090cf86436dfaf1c3840a76c

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).