Skip to content

Releases: leanprover/lean-kernel-arena

Release list

Round 2026-09

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