Artifact

panbench Software

Authors Reed Mullanix , Jacques Carette

Part of: Collection: Supplementary Materials
License: MIT License
Publication Date: 2026-07-16

Document Identifiers

DOI: 10.4230/artifacts.26134
URN: urn:nbn:de:0030-drops-261346

Author Details

Reed Mullanix

Department of Computing and Software, McMaster University, Hamilton, Canada

Jacques Carette

Department of Computing and Software, McMaster University, Hamilton, Canada

Content

Software: https://github.com/JacquesCarette/panbench
archived version

Version/Status

Content created at: 2024-09-04
Status: Active (at the time of publication 2026-07-16)

Cite As Get BibTex

Reed Mullanix, Jacques Carette. panbench (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026) https://doi.org/10.4230/artifacts.26134

Description

System benchmarking for proof assistants

Subject Classification

Programming Languages

HTML
TeX
Haskell
C
Agda
Idris
Rocq Prover
Lean
Nix
CSS
Makefile

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata

0

Downloads

Any Issues?

X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail

© 2023-2026 Schloss Dagstuhl – LZI GmbH Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact