commit: 287c2e2d014e66bc3502bff0827cf1a52f43019d

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

Wed Nov 05 04:28:26 2025 +0100
committer: Kim Morrison <kim@tqft.net>

Wed Nov 05 04:30:05 2025 +0100
tree: 5fec251ae28bbb6c7881f1f549855936a9e1c2a8
parent: e76bbef79b18a7aa130a05d50cb9eca4e9ba2152 [diff]

chore: grind attributes for Prod

2 files changed

tree: 5fec251ae28bbb6c7881f1f549855936a9e1c2a8

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.