Lean Kernel Arena / Rounds

The Lean Kernel Arena runs in rounds. The main page shows the round currently in progress, which is rebuilt whenever checkers or tests change. When a round is closed, its site is archived here unchanged, together with the raw results and the test suite it was run against.

Results are only really comparable within a round: checkers, tests and the Lean version they are measured against all move between rounds, and the timings depend on the machine the round happened to run on.