Four top proof assistants get normalized benchmarks
Summary
Panbench is a benchmarking tool for dependently-typed programming languages with a two-part architecture (DSL and benchmarking harness). It lists supported languages (Agda 2, Idris 2, Lean 4, Rocq 9) and provides installation and usage instructions, including how to run full-site benchmarks and view results. The article emphasizes long build times and development context.