commit: c3f7762c1807c60a950d21379fe64244037a01e8

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

Tue Nov 07 17:38:51 2023 +0100
committer: Sebastian Ullrich <sebasti@nullri.ch>

Tue Nov 07 17:38:51 2023 +0100
tree: 1f1d45b6c437c600a502629245f3a07cd6d7656e
parent: d9eddc9652051bb2baa978859bb2731f03c464c8 [diff]

chore: add `import Lean` benchmark

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

1 file changed

tree: 1f1d45b6c437c600a502629245f3a07cd6d7656e

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.