Panbench: A Comparative Benchmarking Tool for Dependently-Typed Languages
2026 · International Conference on Interactive Theorem Proving · pp. 17:1-17:18 · 0 citations
· 12 references
Computer Science