commit: dce8f9f766423cb535425607c0727db13d91e365

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

Mon May 26 11:00:06 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Mon May 26 11:27:18 2025 +1000
tree: c809a576122a363e7bbe4ff201e2588fb7b5e3ca
parent: 646edd61ae780e2460276c8c2e0fdc1bc014c7a1 [diff]

completely different approach

.github/workflows/awaiting-mathlib.yml[diff]

1 file changed

tree: c809a576122a363e7bbe4ff201e2588fb7b5e3ca

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.