commit: b90fc5b7b552293a9fe4db57c16474e7855c1bd9

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

Mon Sep 23 12:21:02 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Mon Sep 23 12:21:02 2024 +1000
tree: abd72aee5ba7874fbe083896e1b993411935c166
parent: eeae29c1260bdfacacfa00d58b4deb8ef9c52460 [diff]

semireducible

2 files changed

tree: abd72aee5ba7874fbe083896e1b993411935c166

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