Lean Kernel Arena, Round 2026-09
收藏官方服务：
资源简介：
A round of the Lean Kernel Arena: a snapshot of the benchmark results for proof checkers of the Lean theorem prover, comprising the rendered result site, the raw results as results.json, and the test suite the round was run against. Results are only comparable within a round, since the checkers, the tests and the Lean version they are measured against all change between rounds.
提供机构：
Zenodo创建时间：
2026-09-24
