commit: 64979540545afd7289d6c4271441125d48fab73b

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Wed Jan 10 14:55:23 2024 +0100
committer: GitHub <noreply@github.com>

Wed Jan 10 14:55:23 2024 +0100
tree: 732954f0ec73ad375eed6e71e338da7eb120caed
parent: 9069c538ad4f2e205fbfa83603e2b6c7620f4241 [diff]

chore: actually include full build in benchmark

tests/bench/speedcenter.exec.velcom.yaml[diff]

1 file changed

tree: 732954f0ec73ad375eed6e71e338da7eb120caed

README.md

This is the repository for Lean 4.

We provide nightly releases and have just begun regular stable point releases.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.