commit: c873b4fab5cd1995a9b1b6bc47edd3d5de90815c

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

Sun Mar 01 18:58:31 2026 +1100
committer: Kim Morrison <kim@tqft.net>

Sun Mar 01 18:58:31 2026 +1100
tree: 61a72e15df9f188bb604d8e638478180c3d6f95d
parent: 49377252024f28ae86254a895723a1f7af74341b [diff]

chore: retrigger CI

tree: 61a72e15df9f188bb604d8e638478180c3d6f95d

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.