commit: 1568a9ff75503fd3b826a11bef9ca3c609910c44

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

Thu Nov 27 06:16:30 2025 +0000
committer: Kim Morrison <kim@tqft.net>

Sat Nov 29 00:19:15 2025 +1100
tree: bc54d0d40d042f00dd9b9df8189feb375d09dc13
parent: 048aed57d0699cc64fee12538f608ff8f9e0fef6 [diff]

chore: restore set_library_suggestions tests after update-stage0

2 files changed

tree: bc54d0d40d042f00dd9b9df8189feb375d09dc13

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.