commit: 4103379ea8ec53ece7f420b42310b655d875f8af

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

Mon Sep 22 14:55:29 2025 +0200
committer: Kim Morrison <kim@tqft.net>

Wed Sep 24 03:34:58 2025 +0200
tree: a4b2732e5b0404e043930bf2c4bd84b32ed53a3c
parent: bc3e2b54e83f53f834b5d475ef589e36999a3b5d [diff]

restore some

2 files changed

tree: a4b2732e5b0404e043930bf2c4bd84b32ed53a3c

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.