我们很高兴宣布 Lean Kernel Challenge 第一阶段正式启动，这是一场旨在提升 Lean 4 内核中可验证计算性能的多阶段竞赛，整个社区均可从中受益。Lean Kernel Challenge 将社区凝聚在一起，共同开发更高效的算法和更优的可验证计算表示。通过这些集体贡献，[…]