commit: 118546c1a767a33377767b50129f770a042fff63

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Thu Nov 12 00:12:21 2026 +0000
committer: Sebastian Ullrich <sebasti@nullri.ch>

Thu Nov 12 00:14:50 2026 +0000
tree: 68a0c268ec4bbb17af72ddf94eb43b8712bacad2
parent: 1cb9fea49e21ca951e1ca065f8f0c6bcb3e122c4 [diff]

chore: drop GMP from the build instructions

Once stage 0 is updated, no stage uses GMP or the `USE_GMP`/`FORCE_GMP` options anymore. The build docs, the Gitpod image and the notes on stale Nix store paths no longer mention GMP.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

7 files changed

tree: 68a0c268ec4bbb17af72ddf94eb43b8712bacad2

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.