lean-bench
lean-bench
Table of Contents
1.
Quickstart
2.
Result schema
3.
Advanced
4.
Lean-specific benchmarking pitfalls
5.
Profiling
6.
Design
3.
Advanced
3.1.
Comparing implementations
3.2.
Reading the verdict
3.3.
Cache modes
3.4.
Outer trials
3.5.
The per-spawn floor
3.6.
What this library is not
3.7.
CI integration
Source Code
Report Issues
←
2.9. Test enforcement
3.1. Comparing implementations
→
3. Advanced
🔗
Beyond the basics in
Quickstart
. All of this is v0.1; v0.2+ items live in
PLAN.md
.
3.1.
Comparing implementations
3.2.
Reading the verdict
3.3.
Cache modes
3.4.
Outer trials
3.5.
The per-spawn floor
3.6.
What this library is not
3.7.
CI integration
←
2.9. Test enforcement
3.1. Comparing implementations
→