commit: c9aea32d3e1da1287d099d41dcec831dc5151610

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

Tue Feb 20 20:25:24 2024 +0100
committer: GitHub <noreply@github.com>

Tue Feb 20 19:25:24 2024 +0000
tree: 36a21557520fa8ee55593e90b68c29a6be64d2f2
parent: 07f490513c9288167a2b4670eb810a2200a92454 [diff]

chore: speedcenter: count max symbols in shared libraries (#3418)

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

1 file changed

tree: 36a21557520fa8ee55593e90b68c29a6be64d2f2

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.