Panbench: A Comparative Benchmarking Tool for Dependently-Typed Languages

Reed Mullanix, Jacques Carette. Panbench: A Comparative Benchmarking Tool for Dependently-Typed Languages. In Ekaterina Komendantskaya, Tobias Nipkow, editors, 17th International Conference on Interactive Theorem Proving, ITP 2026, Lisbon, Portugal, July 26-29, 2026. Volume 382 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]

Abstract

Abstract is missing.