lean-bench
lean-bench
Table of Contents
1.
Quickstart
2.
Result schema
3.
Advanced
4.
Lean-specific benchmarking pitfalls
5.
Profiling
6.
Design
Source Code
Report Issues
1. Quickstart
→
lean-bench documentation
🔗
Kim Morrison
Documentation for the
lean-bench
benchmarking harness for Lean 4.
Contents
1.
Quickstart
2.
Result schema
3.
Advanced
4.
Lean-specific benchmarking pitfalls
5.
Profiling
6.
Design
1. Quickstart
→