Skip to content

Round 2026-09

Latest
Latest

Choose a tag to compare

View all tags
@github-actions github-actions released this 24 Sep 17:49
round-2026-09
5d7ca98

Round 2026-09 of the Lean Kernel Arena: https://arena.lean-lang.org/round/2026-09/

Assets 5
Loading