commit: 6fcf35e930d44038e63105a4fadd42d2a756b461

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

Mon Dec 02 11:00:57 2024 +0100
committer: GitHub <noreply@github.com>

Mon Dec 02 10:00:57 2024 +0000
tree: 4446bb616cd081ec8e4a07db2bd805e5b785c0d0
parent: b3e0c9c3fa9d79d9fa8ec5b97721be8d590018f6 [diff]

chore: `script/mathlib-bench` (#6280)

A simple approach to benchmarking lean4 PRs against Mathlib

script/mathlib-bench[Added - diff]

1 file changed

tree: 4446bb616cd081ec8e4a07db2bd805e5b785c0d0

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 (documentation source: doc/make/index.md).