commit: bb5b28d3f21829b00c38d8b6b00c4ef5f4e14c4e

[log]
author: Joachim Breitner <mail@joachim-breitner.de>

Thu Sep 19 16:00:16 2024 +0200
committer: Joachim Breitner <mail@joachim-breitner.de>

Thu Sep 19 16:00:16 2024 +0200
tree: a22cc339ad0e505cdd2286d411cdb4d2101bfb1b
parent: e351221e07599d1b41c98919bd7473db7074c526 [diff]

Actually, let's not get this PR entangled with removing the Iff.rfl macro

2 files changed

tree: a22cc339ad0e505cdd2286d411cdb4d2101bfb1b

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