Radar benchmarking for mathlib4
Stars
1
Forks
0
Watchers
Open Issues
Overall repository health assessment
No package.json found
This might not be a Node.js project
User
24
commits
Reduce timeout duration
9e079c8
Fix unexpected output file name
0d23218
Upload lakeprof results
7a9b7cd
Split up readme
b9a9e17
Stop redownloading toolchain on every run
8bdc98f
Fix units
642ac89
Finish bench renaming
561c670
Fix perf units
a3f97f6
Repeatedly run open-mathlib benchmark
eba184e
Update wrapper based on radar-bench-lean4
de91919
Standardize set calls
62cc13f
Rename bench to bench.sh
9ef402d
Collect lakeprof data
afba184
Fix readme
b128c36
Fix some measurements not being collected
ed6dd54