commit: 4136275d9fcd832ab3785096cb5a46f0199443b6

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Sun Mar 17 10:26:19 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Sun Mar 17 10:26:19 2024 +1100
tree: b45eef0d86f8e38d95a3ca1e4e778bb627ab7500
parent: 0b01ceb3bb3334fd6c2f3b24996646046722c62a [diff]

chore: fix combined CI for mathlib

.github/workflows/pr-release.yml[diff]

1 file changed

tree: b45eef0d86f8e38d95a3ca1e4e778bb627ab7500

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.