commit: 9f65d0251a7fce60ccc4329d5a2e3fe435e04893

[log]
author: Cameron Zwarich <cameron@lean-fro.org>

Wed Jun 11 17:38:42 2025 -0700
committer: GitHub <noreply@github.com>

Thu Jun 12 00:38:42 2025 +0000
tree: 3d35541442b4205e1cb7710c68cb999a739f61dc
parent: a7af9f7d5f6580071434d499e97ddbcccafb1a59 [diff]

chore: remove comments about missing functionality now implemented elsewhere (#8732)

2 files changed

tree: 3d35541442b4205e1cb7710c68cb999a739f61dc

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.