commit: 94b34ce6ab05fb04db437c8fb99e7afa46faa538

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

Fri Apr 11 18:56:41 2025 +0200
committer: GitHub <noreply@github.com>

Fri Apr 11 18:56:41 2025 +0200
tree: 88c3c97345b3d1feb3c75c18e3ce7d87af32d446
parent: 5cd352588cb33cd97b123632767b0ed7838a2665 [diff]

chore: CI: disable Linux 32bit

.github/workflows/ci.yml[diff]

1 file changed

tree: 88c3c97345b3d1feb3c75c18e3ce7d87af32d446

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