GitHub - leanprover/radar-bench-lean4: Radar benchmarking for lean4

Name		Name	Last commit message	Last commit date
Latest commit History 24 Commits
bench_build.sh		bench_build.sh
bench_other.sh		bench_other.sh
compare_metrics.py		compare_metrics.py
convert_results.py		convert_results.py
ignorings.json		ignorings.json
rename_metrics.py		rename_metrics.py
rename_metrics_on_radar.py		rename_metrics_on_radar.py
renamings.json		renamings.json